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.