Possibly Related Publications

The following publications are possibly variants of this publication:

• The CADE-19 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. cade 2003: 295-296 [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 IJCAR ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier. JAR, 28(3):307-320, 2002.
• 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 Results - of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):271-286, 1997.
• The CADE ATP System Competition - CASCGeoff Sutcliffe. aim, 37(2):99-101, 2016. [doi]
• The Design of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):139-162, 1997.
• The Procedures of the CADE-13 ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner. JAR, 18(2):163-169, 1997.