"The Design of the CADE-13 ATP System Competition."

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