Using Resolution and Paramodulation for Induction Proofs

@inproceedings{pub1579,
    author = {

Hutter, Dieter
},
    editor = {

Rollinger, C.-R.
 and 

Horn, W.
},
    title = {Using Resolution and Paramodulation for Induction Proofs},
    booktitle = {Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria},
    year = {1986},
    pages = {265--276},
    address = {Ottenstein, Österreich},
    publisher = {Springer Verlag, IFB 124},
    note = {zusammen mit der 2.Österreichischen AI-Tagung}
}