The Design of the CADE-16 Inductive Theorem Prover Contest

@inproceedings{pub1560,
    author = {

Hutter, Dieter
 and 

Bundy, Alan
},
    editor = {

Ganzinger, H.
},
    title = {The Design of the CADE-16 Inductive Theorem Prover Contest},
    booktitle = {Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento},
    year = {1999},
    address = {Trento, Italy},
    publisher = {Springer-Verlag, LNAI 1632}
}