The Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis - Plaisted, David A. (Computational Intelligence, 1997)