TY  - RPRT
TI  - Rewriting Modulo Traced Comonoid Structure
AU  - Dan R. Ghica
AU  - George Kaye
PY  - 2026
DO  - 10.46298/lmcs-22(1:2)2026
UR  - https://arxiv.org/abs/2302.09631
ID  - 2302.09631
ER  -