@misc{indiciae3be67ac87b7a,
  title = {A Critical Pair Enumeration Algorithm for String Diagram Rewriting},
  author = {Anna Matsui and Innocent Obi and Guillaume Sabbagh and Leo Torres and Diana Kessler and Juan F. Meleiro and Koko Muroya},
  year = {2026},
  doi = {10.4204/eptcs.442.7},
  url = {https://arxiv.org/abs/2603.09433},
  note = {Source identifier: 2603.09433}
}