"The CADE ATP System Competition."

Geoff Sutcliffe, Christian B. Suttner (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics