Geoff Sutcliffe The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. 59-72 2009 22 AI Commun. 1 http://dx.doi.org/10.3233/AIC-2009-0441 db/journals/aicom/aicom22.html#Sutcliffe09