@inproceedings{quantomatic,
  title = "Quantomatic: A proof assistant for diagrammatic reasoning",
  author = "Aleks Kissinger and Vladimir Zamdzhiev",
  year = "2015",
  booktitle = "Proceedings of the 25th International Conference on Automated Deduction (CADE)",
}