APA-Zitierstil (7. Ausg.)

Plaisted, D. A., & Zhu, Y. (1999). The efficiency of theorem proving strategies: A comparative and asymptotic analysis (2., rev. ed.). Vieweg.

Chicago-Zitierstil (17. Ausg.)

Plaisted, David A., und Yunshan Zhu. The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis. 2., rev. ed. Braunschweig ; Wiesbaden: Vieweg, 1999.

MLA-Zitierstil (9. Ausg.)

Plaisted, David A., und Yunshan Zhu. The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis. 2., rev. ed. Vieweg, 1999.