@inproceedings{coecke2012strongcomp, title = "Strong Complementarity and Non-locality in Categorical Quantum Mechanics", author = "Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang", year = "2012", booktitle = "Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)", }