A geometric proof of confluence by decreasing diagrams
A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijer