@inproceedings{bonchi2017rewriteconf,
  title = "Confluence of graph rewriting with interfaces",
  author = "Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l{} Soboci\'{n}ski, Fabio Zanasi",
  year = "2017",
  booktitle = "Proceedings of the 26th European Symposium on Programming (ESOP)",
}