The following publications are possibly variants of this publication:
- The CADE-20 Automated Theorem Proving CompetitionGeoff Sutcliffe. aicom, 19(2):173-181, 2006. [doi]
- The CADE-22 automated theorem proving system competition - CASC-22Geoff Sutcliffe. aicom, 23(1):47-59, 2010. [doi]
- The CADE-27 Automated theorem proving System Competition - CASC-27Geoff Sutcliffe. aicom, 32(5-6):373-389, 2019. [doi]
- The CADE-21 automated theorem proving system competitionGeoff Sutcliffe. aicom, 21(1):71-81, 2008. [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-23 Automated Theorem Proving System Competition - CASC-23Geoff Sutcliffe. aicom, 25(1):49-63, 2012. [doi]
- The CADE-25 Automated Theorem Proving system competition - CASC-25Geoff Sutcliffe, Josef Urban. aicom, 29(3):423-433, 2015. [doi]
- The 3rd IJCAR Automated Theorem Proving CompetitionGeoff Sutcliffe. aicom, 20(2):117-126, 2007. [doi]
- The CADE-28 Automated Theorem Proving System Competition - CASC-28Geoff Sutcliffe, Martin Desharnais. aicom, 34(4):259-276, 2021. [doi]
- The 10th IJCAR automated theorem proving system competition - CASC-J10Geoff Sutcliffe. aicom, 34(2):163-177, 2021. [doi]
- The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9Geoff Sutcliffe. aicom, 31(6):495-507, 2018. [doi]
- The 7th IJCAR automated theorem proving system competition - CASC-J7Geoff Sutcliffe. aicom, 28(4):683-692, 2015. [doi]