@inproceedings{kissinger2015cfequations,
  title = "Equational reasoning with context-free families of string diagrams",
  author = "Aleks Kissinger and Vladimir Zamdzhiev",
  year = "2015",
  booktitle = "Proceedings of the International Conference on Graph Transformation (ICGT)",
}