Adapting a Resolution Calculus for Inductive Proofs.

Dieter Hutter

Browse the full ECAI paper archive.