The CADE ATP System Competition.

Geoff Sutcliffe, Christian B. Suttner

Browse the full CADE paper archive.