APA-Zitierstil (7. Ausg.)

Denzinger, J., & Fuchs, M. (1994). Goal oriented equational theorem proving using team work.

Chicago-Zitierstil (17. Ausg.)

Denzinger, Jörg, und Matthias Fuchs. Goal Oriented Equational Theorem Proving Using Team Work. Kaiserslautern, 1994.

MLA-Zitierstil (9. Ausg.)

Denzinger, Jörg, und Matthias Fuchs. Goal Oriented Equational Theorem Proving Using Team Work. 1994.

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