@inproceedings{kissinger2015banglogic,
  title = "A first-order logic for string diagrams",
  author = "Aleks Kissinger and David Quick",
  year = "2015",
  booktitle = "Proceedings of the 6th Conference on Algebra and Coalgebra (CALCO)",
}