CHOOSING AN INDUCTION VARIABLE IN UNIVERSALLY QUANTIFIED ATOMIC FORMULAS
Abstract
The paper presents an algorithm for choosing an induction variable for "lazy' induction proofs.
Origin : Files produced by the author(s)
Loading...