Brigitte Pientka
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
Brigitte Pientka, May 5, 1998
A Uniform Rippling Approach for Instantiating Free Variables
Brigitte Pientka, December 2, 1997
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu