Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Letz, R., & Weidenbach, C. (1998). Paradigmen und Perspektiven der automatischen Deduktion. KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V., 4, 15-19.