Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer. A geometric proof of confluence by decreasing diagrams. Journal of Logic and Computation, 10(3):437-460, 2000.
@article{KlopOV00,
title = {A geometric proof of confluence by decreasing diagrams},
author = {Jan Willem Klop and Vincent van Oostrom and Roel C. de Vrijer},
year = {2000},
tags = {C++},
researchr = {https://researchr.org/publication/KlopOV00},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {10},
number = {3},
pages = {437-460},
}