Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A. (2004). Introduction to the Special Issue on Verification and Computational Logic. Theory and Practice of Logic Programming (TPLP), 4.