Possibly Related Publications

The following publications are possibly variants of this publication:

• The CADE ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. cade 2004: 490-491 [doi]
• The CADE-19 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. cade 2003: 295-296 [doi]
• The Design of the CADE-13 ATP System CompetitionChristian B. Suttner, Geoff Sutcliffe. cade 1996: 146-160
• CASC-J4 The 4th IJCAR ATP System CompetitionGeoff Sutcliffe. cade 2008: 457-458 [doi]
• CASC-J3 - The 3rd IJCAR ATP System CompetitionGeoff Sutcliffe. cade 2006: 572-573 [doi]
• JGXYZ: An ATP System for Gap and Glut LogicsGeoff Sutcliffe, Francis Jeffry Pelletier. cade 2019: 526-537 [doi]
• Divvy: An ATP Meta-system Based on Axiom Relevance OrderingAlex Roederer, Yury Puzis, Geoff Sutcliffe. cade 2009: 157-162 [doi]
• The Annual SUMO Reasoning Prizes at CASCAdam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac. cade 2008: [doi]
• The CADE-18 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 31(1):23-32, 2003. [doi]
• The CADE-17 ATP System CompetitionGeoff Sutcliffe. JAR, 27(3):227-250, 2001.
• The CADE-19 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. aicom, 17(3):103-110, 2004. [doi]
• The IJCAR ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier. JAR, 28(3):307-320, 2002.