APA-Zitierstil (7. Ausg.)

Plaisted, D. A., & Sattler-Klein, A. (1995). Proof lengths for equational completion.

Chicago-Zitierstil (17. Ausg.)

Plaisted, David A., und Andrea Sattler-Klein. Proof Lengths for Equational Completion. Kaiserslautern, 1995.

MLA-Zitierstil (9. Ausg.)

Plaisted, David A., und Andrea Sattler-Klein. Proof Lengths for Equational Completion. 1995.