Adapting a Resolution Calculus for Inductive Proofs

@techreport{pub1587,
    author = {

Hutter, Dieter
},
    title = {Adapting a Resolution Calculus for Inductive Proofs},
    year = {1992}
}