David A. Plaisted The Search Efficiency of Theorem Proving Strategies. 57-71 1994 conf/cade/1994 CADE db/conf/cade/cade94.html#Plaisted94 https://doi.org/10.1007/3-540-58156-1_5