Possibly Related Publications

The following publications are possibly variants of this publication:

• The CADE-22 automated theorem proving system competition - CASC-22Geoff Sutcliffe. aicom, 23(1):47-59, 2010. [doi]
• The CADE-26 automated theorem proving system competition - CASC-26Geoff Sutcliffe. aicom, 30(6):419-432, 2017. [doi]
• The CADE-24 automated theorem proving system competition - CASC-24Geoff Sutcliffe. aicom, 27(4):405-416, 2014. [doi]
• The CADE-27 Automated theorem proving System Competition - CASC-27Geoff Sutcliffe. aicom, 32(5-6):373-389, 2019. [doi]
• The CADE-23 Automated Theorem Proving System Competition - CASC-23Geoff Sutcliffe. aicom, 25(1):49-63, 2012. [doi]
• The CADE-29 Automated Theorem Proving System Competition - CASC-29Geoff Sutcliffe, Martin Desharnais. aicom, 37(4):485-503, 2024. [doi]
• The CADE-28 Automated Theorem Proving System Competition - CASC-28Geoff Sutcliffe, Martin Desharnais. aicom, 34(4):259-276, 2021. [doi]
• The CADE-25 Automated Theorem Proving system competition - CASC-25Geoff Sutcliffe, Josef Urban. aicom, 29(3):423-433, 2015. [doi]
• The IJCAR-2004 Automated Theorem Proving CompetitionGeoff Sutcliffe. aicom, 18(1):33-40, 2005. [doi]
• The CADE-20 Automated Theorem Proving CompetitionGeoff Sutcliffe. aicom, 19(2):173-181, 2006. [doi]
• The 6th IJCAR automated theorem proving system competition - CASC-J6Geoff Sutcliffe. aicom, 26(2):211-223, 2013. [doi]
• The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4Geoff Sutcliffe. aicom, 22(1):59-72, 2009. [doi]
• The 10th IJCAR automated theorem proving system competition - CASC-J10Geoff Sutcliffe. aicom, 34(2):163-177, 2021. [doi]