The Karlsruhe Induction Theorem Proving System

@inproceedings{pub1553,
    author = {

Biundo, Susanne
 and 

Hummel, Birgit
 and 

Hutter, Dieter
 and 

Walther, Christoph
},
    editor = {

Siekmann, Jörg
},
    title = {The Karlsruhe Induction Theorem Proving System},
    booktitle = {Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08), July 27-August 1, Oxford, United Kingdom},
    series = {Lecture Notes In Computer Science (LNCS)},
    year = {1986},
    volume = {230},
    pages = {672--674},
    publisher = {Springer},
    isbn = {978-3-540-16780-8}
}