@inproceedings{bonchi2016rewritesmc,
  title = "Rewriting modulo symmetric monoidal structure",
  author = "Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l{} Soboci\'{n}ski, Fabio Zanasi",
  year = "2016",
  booktitle = "Proceedings of the 31st Annual ACM/IEEE symposium on Logic in Computer Science (LICS)",
}