Denzinger, J., & Kronenburg, M. (1994). Planning for distributed theorem proving: The team work approach. Fachbereich Informatik, Univ. Kaiserslautern.
Chicago-Zitierstil (17. Ausg.)Denzinger, Jörg, und Martin Kronenburg. Planning for Distributed Theorem Proving: The Team Work Approach. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1994.
MLA-Zitierstil (9. Ausg.)Denzinger, Jörg, und Martin Kronenburg. Planning for Distributed Theorem Proving: The Team Work Approach. Fachbereich Informatik, Univ. Kaiserslautern, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.