Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Kapur, Deepak Programming Logics, MPI for Informatics, Max Planck Society;
Furbach, U., Ganzinger, H., Hasegawa, R., & Kapur, D. (Eds.). (2000). Deduction. Wadern, Germany: IBFI.