TY  - RPRT
TI  - Rewriting techniques for relative coherence
AU  - Samuel Mimram
PY  - 2025
DO  - 10.46298/lmcs-21(3:7)2025
UR  - https://arxiv.org/abs/2402.18170
ID  - 2402.18170
ER  -