Thierry Boy de la Tour, Ricardo Caferra. Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching. In AAAI. pages 95-99, 1987.
@inproceedings{TourC87, title = {Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching}, author = {Thierry Boy de la Tour and Ricardo Caferra}, year = {1987}, tags = {pattern matching}, researchr = {https://researchr.org/publication/TourC87}, cites = {0}, citedby = {0}, pages = {95-99}, booktitle = {AAAI}, }