APA-Zitierstil (7. Ausg.)

Baumgartner, P. (1991). A completeness proof technique for resolution with equality.

Chicago-Zitierstil (17. Ausg.)

Baumgartner, Peter. A Completeness Proof Technique for Resolution with Equality. Koblenz, 1991.

MLA-Zitierstil (9. Ausg.)

Baumgartner, Peter. A Completeness Proof Technique for Resolution with Equality. 1991.

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