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

Cached

Download Links

by Ulrich Kühler