Publikation Adapting a Resolution Calculus for Inductive Proofs Dieter Hutter Interner Bericht, 1992. BibTeX Export Adapting a Resolution Calculus for Inductive Proofs@techreport{pub1587, author = { Hutter, Dieter }, title = {Adapting a Resolution Calculus for Inductive Proofs}, year = {1992} }