@misc{indiciae9a4ef43e2836,
  title = {Towards Term-based Verification of Diagrammatic Equivalence},
  author = {Julie Cailler and Noé Delorme and Simon Perdrix and Sophie Tourret},
  year = {2026},
  url = {https://arxiv.org/abs/2602.11035},
  note = {Source identifier: 2602.11035}
}