@inproceedings{bonchi2018rewritemodulo,
  title = "Rewriting with Frobenius",
  author = "Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l{} Soboci\'{n}ski, Fabio Zanasi",
  year = "2018",
  booktitle = "Proceedings of the 32nd Annual ACM/IEEE symposium on Logic in Computer Science (LICS)",
}