Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems.

db/journals/jacm/Huet80.html Gérard P. Huet Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems. 797-821 1980 27 J. ACM 4 http://doi.acm.org/10.1145/322217.322230 db/journals/jacm/jacm27.html#Huet80