## An Approach to Flexible Forms of Proof Control for a First-Order Inductive Theorem Prover (Extended Abstract)

by
Ulrich Kühler

by
Ulrich Kühler