The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9. - Sutcliffe, Geoff (AI Communications, 2018)