Julia L. Lawall. Proofs by Structural Induction using Partial Evaluation. In PEPM. pages 155-166, 1993.
@inproceedings{Lawall93, title = {Proofs by Structural Induction using Partial Evaluation}, author = {Julia L. Lawall}, year = {1993}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/Lawall93}, cites = {0}, citedby = {0}, pages = {155-166}, booktitle = {PEPM}, }