An Empirical Assessment of Progress in Automated Theorem Proving.

Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid

Browse the full IJCAR paper archive.