The following publications are possibly variants of this publication:
- Rewriting modulo symmetric monoidal structureFilippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi. lics 2016: 710-719 [doi]
- String Diagram Rewrite Theory I: Rewriting with Frobenius StructureFilippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi. JACM, 69(2), 2022. [doi]
- Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid StructureAleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi. lmcs, 21(1), 2025. [doi]
- String diagram rewrite theory III: Confluence with and without FrobeniusFilippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi. mscs, 32(7):829-869, August 2022. [doi]
- String Diagram Rewriting Modulo Commutative (Co)Monoid StructureAleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi. calco 2023: [doi]
- Rewriting for Monoidal Closed CategoriesMario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi. fscd 2022: [doi]