The CADE ATP System Competition [chapter]

Geoff Sutcliffe, Christian Suttner
2004 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-25984-8_36 fatcat:bfxt3pwbazgwtcmolgdypumde4