TY  - RPRT
TI  - Confluence of algebraic rewriting systems
AU  - Cyrille Chenavier
AU  - Benjamin Dupont
AU  - Philippe Malbos
PY  - 2021
UR  - https://arxiv.org/abs/2004.14361
ID  - 2004.14361
ER  -