The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 1999 · ENGLISH · PDF View details →
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 1997 · GERMAN · PDF View details →
