The Efficiency of Theorem Proving Strategies door David A. Plaisted & Yunshan Zhu