Julie Cailler, Noé Delorme, Simon Perdrix, Sophie Tourret. Towards Term-Based Verification of Diagrammatic Equivalence. In Armin Biere, Carsten Lutz, Sara Negri, editors, Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II. Volume 16689 of Lecture Notes in Computer Science, pages 217-233, Springer, 2026. [doi]
Abstract is missing.