TY  - RPRT
TI  - Towards Term-based Verification of Diagrammatic Equivalence
AU  - Julie Cailler
AU  - Noé Delorme
AU  - Simon Perdrix
AU  - Sophie Tourret
PY  - 2026
UR  - https://arxiv.org/abs/2602.11035
ID  - 2602.11035
ER  -