@article(backens_zx-calculus_2013,
 author       = {Miriam Backens},
 year         = {2014},
 title        = {The {ZX}-calculus is complete for stabilizer quantum mechanics},
 journal      = {New Journal of Physics},
 volume       = {16},
 number       = {9},
 pages        = {093021},
 doi          = {10.1088/1367-2630/16/9/093021},
)
@article(backens_making_2015,
 author       = {Miriam Backens},
 year         = {2015},
 title        = {Making the stabilizer {ZX}-calculus complete for scalars},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 pages        = {17--32},
 doi          = {10.4204/EPTCS.195.2},
)
@article(coecke_interacting_2011,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting quantum observables: categorical algebra and diagrammatics},
 journal      = {New Journal of Physics},
 volume       = {13},
 number       = {4},
 pages        = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@incollection(duncan_graph_2009,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2009},
 title        = {Graph States and the Necessity of {Euler} Decomposition},
 booktitle    = {Mathematical Theory and Computational Practice},
 volume       = {5635},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {167--177},
 doi          = {10.1007/978-3-642-03073-4\_18},
)
@article(duncan_pivoting_2014,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2014},
 title        = {Pivoting makes the {ZX}-calculus complete for real stabilizers},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {171},
 pages        = {50--62},
 doi          = {10.4204/EPTCS.171.5},
)
@phdthesis(gottesman_stabilizer_1997,
 author       = {Daniel Gottesman},
 year         = {1997},
 title        = {Stabilizer {Codes} and {Quantum} {Error} {Correction}},
 school       = {Caltech},
 url          = {http://arxiv.org/abs/quant-ph/9705052},
)
@inproceedings(gottesman_heisenberg_1998,
 author       = {Daniel Gottesman},
 year         = {1998},
 title        = {The {Heisenberg} Representation of Quantum Computers},
 booktitle    = {Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics},
 note         = {\href{http://arxiv.org/abs/quant-ph/9807006}{arXiv:quant-ph/9807006}},
)
@misc(quanto,
 author       = {Aleks Kissinger and Alex Merry and Ben Frot and Bob Coecke and David Quick and Lucas Dixon and Matvey Soloviev and Ross Duncan and Vladimir Zamdzhiev},
 title        = {Quantomatic},
 howpublished = {\url{https://quantomatic.github.io/}},
 note         = {Accessed April 2016},
)
@book(nielsen_quantum_2010,
 author       = {Michael A. Nielsen and Isaac L. Chuang},
 year         = {2010},
 title        = {{Quantum Computation and Quantum Information}},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9780511976667},
)
@inproceedings(PW15,
 author       = {Simon Perdrix and Quanlong Wang},
 year         = {2016},
 title        = {{Supplementarity is Necessary for Quantum Diagram Reasoning}},
 booktitle    = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)},
 series       = {LIPIcs},
 volume       = {58},
 pages        = {76:1--76:14},
 doi          = {10.4230/LIPIcs.MFCS.2016.76},
)
@article(raussendorf_one-way_2001,
 author       = {Robert Raussendorf and Hans J. Briegel},
 year         = {2001},
 title        = {A One-Way Quantum Computer},
 journal      = {Physical Review Letters},
 volume       = {86},
 number       = {22},
 pages        = {5188--5191},
 doi          = {10.1103/PhysRevLett.86.5188},
)
@article(schroeder_incomplete_2014,
 author       = {Schr\"{o}der de Witt, Christian and Vladimir Zamdzhiev},
 year         = {2014},
 title        = {The {ZX}-calculus is incomplete for quantum mechanics},
 journal      = {EPTCS},
 volume       = {172},
 pages        = {285--292},
 doi          = {10.4204/EPTCS.172.20},
)