A geometric proof of confluence by decreasing diagrams
A geometric proof of confluence by decreasing diagrams / Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer