TY  - RPRT
TI  - Decreasing Diagrams for Confluence and Commutation
AU  - Jörg Endrullis
AU  - Jan Willem Klop
AU  - Roy Overbeek
PY  - 2020
DO  - 10.23638/lmcs-16(1:23)2020
UR  - https://arxiv.org/abs/1901.10773
ID  - 1901.10773
ER  -