TY  - RPRT
TI  - Coherent confluence modulo relations and double groupoids
AU  - Benjamin Dupont
AU  - Philippe Malbos
PY  - 2021
UR  - https://arxiv.org/abs/1810.08184
ID  - 1810.08184
ER  -