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.       Green open access