Geoff Sutcliffe Christian B. Suttner The Procedures of the CADE-13 ATP System Competition. 163-169 1997 18 J. Autom. Reasoning 2 db/journals/jar/jar18.html#SutcliffeS97b