Adapting a Resolution Calculus for Inductive Proofs

@inproceedings{pub1586,
    author = {

Hutter, Dieter
},
    editor = {

Neumann, Bernd
},
    title = {Adapting a Resolution Calculus for Inductive Proofs},
    booktitle = {Proceedings of the 10th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-92), August 3-7, Wien, Austria},
    year = {1992},
    pages = {65--69},
    publisher = {John Wiley & Sons, Inc.},
    isbn = {0-471-93608-1}
}