Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H. (Ed.). (1999). Proceedings of the 16th International Conference on Automated Deduction (CADE-16). Berlin, Germany: Springer.