APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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