- Fundamentals of Artificial Intelligence: An Advanced Course
- Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
- Automated Theorem Proving
- Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April ... (Lecture Notes in Computer Science) (v. 215)
- Studien- Und Forschungsfuhrer Kunstliche Intelligenz