Publication
The Design of the CADE-16 Inductive Theorem Prover Contest
Dieter Hutter; Alan Bundy
In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.