APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Plaisted, David A., and Yunshan Zhu. The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis. Vieweg, 1997.

Warning: These citations may not always be 100% accurate.