Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski 0001, Fabio Zanasi. String diagram rewrite theory III: Confluence with and without Frobenius. Mathematical Structures in Computer Science, 32(7):829-869, August 2022. [doi]
Abstract is missing.