APA-Zitierstil (7. Ausg.)

Sonntag, I., & Denzinger, J. (1993). Extending automatic theorem proving by planning.

Chicago-Zitierstil (17. Ausg.)

Sonntag, Inger, und Jörg Denzinger. Extending Automatic Theorem Proving by Planning. Kaiserslautern, 1993.

MLA-Zitierstil (9. Ausg.)

Sonntag, Inger, und Jörg Denzinger. Extending Automatic Theorem Proving by Planning. 1993.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.