The following publications are possibly variants of this publication:
- The IJCAR ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier. JAR, 28(3):307-320, 2002.
- CASC-J4 The 4th IJCAR ATP System CompetitionGeoff Sutcliffe. cade 2008: 457-458 [doi]
- The 3rd IJCAR Automated Theorem Proving CompetitionGeoff Sutcliffe. aicom, 20(2):117-126, 2007. [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 CADE-14 ATP System CompetitionChristian B. Suttner, Geoff Sutcliffe. JAR, 21(1):99-134, 1998.
- The CADE-15 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 23(1):1-23, 1999.
- The CADE-16 ATP System CompetitionGeoff Sutcliffe. JAR, 24(3):371-396, 2000.
- The CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):137-138, 1997.
- 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]