A Critical Pair Enumeration Algorithm for String Diagram Rewriting. - Anna Matsui; Innocent Obi; Guillaume Sabbagh; Leo Torres 001; Diana Kessler; Juan F. Meleiro; Koko Muroya (CoRR, 2026)