A geometric proof of confluence by decreasing diagrams (2000)
Klop, JW, Van Oostrom, V, De Vrijer, R
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria in abstract rewriting, such as the strong confluence lemma. We give a new proof of...