Sonntag, I., & Denzinger, J. (1993). Extending automatic theorem proving by planning. Fachbereich Informatik, Univ. Kaiserslautern.
Chicago-Zitierstil (17. Ausg.)Sonntag, Inger, und Jörg Denzinger. Extending Automatic Theorem Proving by Planning. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1993.
MLA-Zitierstil (9. Ausg.)Sonntag, Inger, und Jörg Denzinger. Extending Automatic Theorem Proving by Planning. Fachbereich Informatik, Univ. Kaiserslautern, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.