TY  - RPRT
TI  - A Critical Pair Enumeration Algorithm for String Diagram Rewriting
AU  - Anna Matsui
AU  - Innocent Obi
AU  - Guillaume Sabbagh
AU  - Leo Torres
AU  - Diana Kessler
AU  - Juan F. Meleiro
AU  - Koko Muroya
PY  - 2026
DO  - 10.4204/eptcs.442.7
UR  - https://arxiv.org/abs/2603.09433
ID  - 2603.09433
ER  -