Publikation

Adapting a Resolution Calculus for Inductive Proofs

Dieter Hutter

Interner Bericht 1992.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence