The CADE-26 automated theorem proving system competition - CASC-26. - Sutcliffe, Geoff (AI Communications, 2017)