"Sufficient Completeness and Parameterized Proofs by Induction."

Adel Bouhoula (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics