Pientka, Brigitte and
Kreitz, Christoph. 1998.
“Instantiation of Existentially Quantified Variables in Induction Specification Proofs.” in
Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques
Calmet and Jan
Plaza, pp. 247–258. Berlin: Springer.