"The CADE-19 ATP System Competition."

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