Jouannaud et al. "Church-Rosser Properties of Weakly Terminating Term Rewriting Systems." International Joint Conference on Artificial Intelligence, 1983.
Markdown
[Jouannaud et al. "Church-Rosser Properties of Weakly Terminating Term Rewriting Systems." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/jouannaud1983ijcai-church/)
BibTeX
@inproceedings{jouannaud1983ijcai-church,
title = {{Church-Rosser Properties of Weakly Terminating Term Rewriting Systems}},
author = {Jouannaud, Jean-Pierre and Kirchner, Hélène and Rémy, Jean-Luc},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {909-915},
url = {https://mlanthology.org/ijcai/1983/jouannaud1983ijcai-church/}
}