Stéphane Kaplan. Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. Journal of Symbolic Computation, 4(3):295-334, 1987.
@article{Kaplan87,
title = {Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence},
author = {Stéphane Kaplan},
year = {1987},
tags = {term rewriting, termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Kaplan87},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {4},
number = {3},
pages = {295-334},
}