Plaisted, D. A., & Zhu, Y. (1997). The efficiency of theorem proving strategies: A comparative and asymptotic analysis. Vieweg.
Chicago-Zitierstil (17. Ausg.)Plaisted, David A., und Yunshan Zhu. The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis. Braunschweig ; Wiesbaden: Vieweg, 1997.
MLA-Zitierstil (9. Ausg.)Plaisted, David A., und Yunshan Zhu. The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis. Vieweg, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.