Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Kapur, D., Nieuwenhuis, R., Voronkov, A., Weidenbach, C., & Wilhelm, R. (2013). Harald Ganzinger's Legacy: Contributions to Logics and Programming. In A. Voronkov, & C. Weidenbach (Eds.), Programming Logics (pp. 1-18). Berlin: Springer. doi:10.1007/978-3-642-37651-1_1.