8 papers:
CADE-2009-RoedererPS #axiom #named- Divvy: An ATP Meta-system Based on Axiom Relevance Ordering (AR, YP, GS), pp. 157–162.
IJCAR-2008-Sutcliffe #contest- CASC-J4 The 4th IJCAR ATP System Competition (GS), pp. 457–458.
- IJCAR-2006-Sutcliffe #contest #named
- CASC-J3 — The 3rd IJCAR ATP System Competition (GS), pp. 572–573.
FASE-2005-JurjensS #analysis #development #security #tool support #uml- Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.
- IJCAR-2004-SutcliffeS #contest
- The CADE ATP System Competition (GS, CBS), pp. 490–491.
- CADE-2003-SutcliffeS #contest
- The CADE-19 ATP System Competition (GS, CBS), pp. 295–296.
- CADE-1997-FischerS #re-engineering #reuse
- SETHEO Goes Software Engineering: Application of ATP to Software Reuse (BF, JS), pp. 65–68.
- CADE-1996-SuttnerS #contest #design
- The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.
