Gilles Défourneaux, Nicolas Peltier
Partial Matching for Analogy Discovery in Proofs and Counter-Examples
CADE, 1997.
@inproceedings{CADE-1997-DefourneauxP,
author = "Gilles Défourneaux and Nicolas Peltier",
booktitle = "{Proceedings of the 14th International Conference on Automated Deduction}",
doi = "10.1007/3-540-63104-6_43",
isbn = "3-540-63104-6",
pages = "431--445",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Partial Matching for Analogy Discovery in Proofs and Counter-Examples}",
volume = 1249,
year = 1997,
}