Vincent van Oostrom. Confluence by Decreasing Diagrams. Theoretical Computer Science, 126(2):259-280, 1994.
@article{Oostrom94, title = {Confluence by Decreasing Diagrams}, author = {Vincent van Oostrom}, year = {1994}, tags = { confluence, rewriting}, researchr = {https://researchr.org/publication/Oostrom94}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {126}, number = {2}, pages = {259-280}, }