"The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4."

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