The CADE-13 ATP System Competition
The Design of the CADE-13 ATP System Competition
The Procedures of the CADE-13 ATP System Competition
Barcelona
CLIN-E
CLIN-S
DISCOUNT
Gandalf
LINUS
Otter
RRTP
Satchmo
SETHEO and E-SETHEO
SPASS
SPTHEO
Violet
WALDMEISTER
The Results
Conclusions about the CADE-13 ATP System Competition