### 6 papers:

- CADE-2013-BeckertGS #algorithm #logic
- Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.
- 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-1999-HutterB #contest #design #induction #proving #theorem proving
- The Design of the CADE-16 Inductive Theorem Prover Contest (DH, AB), pp. 374–377.
- CADE-1996-SuttnerS #contest #design
- The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.
- ICSE-1979-HutchingsMETW #on the #re-engineering
- On CADES-Software Engineering in Practice (AFH, RWM, AEE, BRT, PNW), pp. 136–144.