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