An Empirical Assessment of Progress in
Automated Theorem Proving

by
Geoff Sutcliffe University of Miami, USA		Christian Suttner Deceased
Lars Kotthoff University of Wyoming, USA	C. Raymond Perrault SRI International, USA	Zain Khalid University of Miami, USA