"Proofs by Structural Induction using Partial Evaluation."

Julia L. Lawall (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics