Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analysis Plaisted David A. Heftet / 1999 / Engelsk
