Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Mehlhorn, K., Waldmann, U., & Wilhelm, R. (2005). Harald Ganzinger: 31.10.1950 - 3.6.2004. Jahrbuch der Max-Planck-Gesellschaft, 107-108.