Lingenfelder and Präcklein. "Proof Transformation with Built-in Equality Predicate." International Joint Conference on Artificial Intelligence, 1991.
Markdown
[Lingenfelder and Präcklein. "Proof Transformation with Built-in Equality Predicate." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/lingenfelder1991ijcai-proof/)
BibTeX
@inproceedings{lingenfelder1991ijcai-proof,
title = {{Proof Transformation with Built-in Equality Predicate}},
author = {Lingenfelder, Christoph and Präcklein, Axel},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1991},
pages = {165-171},
url = {https://mlanthology.org/ijcai/1991/lingenfelder1991ijcai-proof/}
}