Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F; (2018) Rewriting with Frobenius. In: Dawar, A and Grädel, E, (eds.) Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. (pp. pp. 165-174). ACM: Oxford, United Kingdom.