Proceedings-Artikel
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. Trento, Springer-Verlag, LNAI 1632, 1999.