Instantiation of Existentially Quantified Variables in Inductive Specification Proofs.

Brigitte Pientka, Christoph Kreitz

Browse the full AISC paper archive.