Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching

de la Tour and Caferra. "Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching." AAAI Conference on Artificial Intelligence, 1987.

[de la Tour and Caferra. "Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching." AAAI Conference on Artificial Intelligence, 1987.](https://mlanthology.org/aaai/1987/delatour1987aaai-proof/)

@inproceedings{delatour1987aaai-proof,
  title     = {{Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching}},
  author    = {de la Tour, Thierry Boy and Caferra, Ricardo},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {95-99},
  url       = {https://mlanthology.org/aaai/1987/delatour1987aaai-proof/}
}