Guiding Induction Proofs

@inproceedings{pub1583,
    author = {

Hutter, Dieter
},
    editor = {

Stickel, M.
},
    title = {Guiding Induction Proofs},
    booktitle = {Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {1990},
    volume = {449},
    publisher = {Springer-Verlag}
}