@inproceedings{hadzihasanovic15,
  title = "A Diagrammatic Axiomatisation for Qubit Entanglement",
  author = "Amar Hadzihasanovic",
  year = "2015",
  booktitle = "Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science",
  pages = "573--584",
  publisher = "IEEE Computer Society",
}