Gérard P. Huet. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems. Journal of the ACM, 27(4):797-821, 1980. [doi]
@article{Huet80, title = {Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems}, author = {Gérard P. Huet}, year = {1980}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Huet80}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {27}, number = {4}, pages = {797-821}, }