TY  - RPRT
TI  - Normalization for planar string diagrams and a quadratic equivalence algorithm
AU  - Antonin Delpeuch
AU  - Jamie Vicary
PY  - 2022
DO  - 10.46298/lmcs-18(1:10)2022
UR  - https://arxiv.org/abs/1804.07832
ID  - 1804.07832
ER  -