Kolbe and Walther. "Second-Order Matching Modulo Evaluation: A Technique for Reusing Proofs." International Joint Conference on Artificial Intelligence, 1995.
Markdown
[Kolbe and Walther. "Second-Order Matching Modulo Evaluation: A Technique for Reusing Proofs." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/kolbe1995ijcai-second/)
BibTeX
@inproceedings{kolbe1995ijcai-second,
title = {{Second-Order Matching Modulo Evaluation: A Technique for Reusing Proofs}},
author = {Kolbe, Thomas and Walther, Christoph},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1995},
pages = {190-195},
url = {https://mlanthology.org/ijcai/1995/kolbe1995ijcai-second/}
}