Müller, J., & Socher, R. (1988). Topics in completion theorem proving. Artificial Intelligence Laboratories, Fachbereich Informatik, Univ. Kaiserslautern.
Chicago-Zitierstil (17. Ausg.)Müller, Jürgen, und Rolf Socher. Topics in Completion Theorem Proving. Kaiserslautern: Artificial Intelligence Laboratories, Fachbereich Informatik, Univ. Kaiserslautern, 1988.
MLA-Zitierstil (9. Ausg.)Müller, Jürgen, und Rolf Socher. Topics in Completion Theorem Proving. Artificial Intelligence Laboratories, Fachbereich Informatik, Univ. Kaiserslautern, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.