Geoff Sutcliffe Christian B. Suttner The CADE-18 ATP System Competition. 23-32 2003 31 J. Autom. Reasoning 1 http://dx.doi.org/10.1023/A:1027302123309 db/journals/jar/jar31.html#SutcliffeS03