@inproceedings{kissinger2012cosy,
  title = "Synthesising Graphical Theories",
  author = "Aleks Kissinger",
  year = "2012",
  booktitle = "Proceedings of the workshop on Automated Theory eXploration (ATX)",
}