"CASC-J4 The 4th IJCAR ATP System Competition."

Geoff Sutcliffe (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics