@(jython,
 title        = {The Jython Project : Python for the Java Platform},
 url          = {http://www.jython.org},
)
@article(Scott-Aaronson:2004yf,
 author       = {S. Aaronson and D Gottesman},
 year         = {2004},
 title        = {Improved Simulation of Stabilizer Circuits},
 journal      = {Phys. Rev. A},
 volume       = {70},
 number       = {052328},
 doi          = {10.1103/PhysRevA.70.052328},
)
@article(1367-2630-16-9-093021,
 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},
)
@inproceedings(Backens:2015aa,
 author       = {Miriam Backens},
 year         = {2015},
 title        = {Making the stabilizer ZX-calculus complete for scalars},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 pages        = {17--32},
 doi          = {10.4204/EPTCS.195.2},
)
@inproceedings(Backens2016A-Simplified-St,
 author       = {Miriam Backens and Simon Perdrix and Quanlong Wang},
 year         = {2016},
 title        = {A Simplified Stabilizer ZX-calculus},
 editor       = {R. Duncan and C. Heunen},
 booktitle    = {Proceedings 13th International Conference on Quantum Physics and Logic (QPL 2016)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {236},
 pages        = {1--20},
 doi          = {10.4204/EPTCS.236.1},
)
@article(Chancellor2016Coherent-Parity,
 author       = {Nicholas Chancellor and Aleks Kissinger and Stefan Zohren and Dominic Horsman},
 year         = {2016},
 title        = {Coherent Parity Check Construction for Quantum Error Correction},
 journal      = {arXiv.org preprint},
 number       = {arXiv:1611.08012},
)
@article(Coecke:2009aa,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting Quantum Observables: Categorical Algebra and Diagrammatics},
 journal      = {New J. Phys},
 volume       = {13},
 number       = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@incollection(Coecke:2015aa,
 author       = {Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang},
 year         = {2015},
 title        = {Generalised Compositional Theories and Diagrammatic Reasoning},
 editor       = {G. Chiribella and R. Spekkens},
 booktitle    = {Quantum Theory: Informational Foundations and Foils},
 publisher    = {Springer},
 doi          = {10.1007/978-94-017-7303-4\_10},
)
@article(Danos2006Determinism-in-,
 author       = {V. Danos and E. Kashefi},
 year         = {2006},
 title        = {Determinism in the one-way model},
 journal      = {Phys. Rev. A},
 volume       = {74},
 number       = {052310},
 doi          = {10.1103/PhysRevA.74.052310},
)
@inproceedings(Duncan2016Interacting-Fro,
 author       = {Ross Duncan and Kevin Dunne},
 year         = {2016},
 title        = {Interacting {F}robenius Algebras are {H}opf},
 editor       = {Martin Grohe and Eric Koskinen and Natarajan Shankar},
 booktitle    = {{Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}},
 series       = {{LICS '16}},
 publisher    = {{ACM}},
 pages        = {535--544},
 doi          = {10.1145/2933575.2934550},
)
@inproceedings(Duncan:2013lr,
 author       = {Ross Duncan and Maxime Lucas},
 year         = {2014},
 title        = {Verifying the {S}teane code with {Q}uantomatic},
 editor       = {Bob Coecke and Matty Hoban},
 booktitle    = {Proceedings 10th International Workshop on Quantum Physics and Logic (QPL 2013)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {171},
 pages        = {33--49},
 doi          = {10.4204/EPTCS.171.4},
)
@inproceedings(Duncan:2009ph,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2009},
 title        = {Graph States and the Necessity of {E}uler Decomposition},
 editor       = {Ambos-Spies, K. and B. L\"{o}we and W. Merkle},
 booktitle    = {Computability in Europe: Mathematical Theory and Computational Practice (CiE'09)},
 series       = {Lecture Notes in Computer Science},
 volume       = {5635},
 publisher    = {Springer},
 pages        = {167--177},
 doi          = {10.1007/978-3-642-03073-4\_18},
)
@inproceedings(EPTCS171.5,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2014},
 title        = {Pivoting makes the ZX-calculus complete for real stabilizers},
 editor       = {Bob Coecke and Matty Hoban},
 booktitle    = {Proceedings 10th International Workshop on Quantum Physics and Logic, Castelldefels (Barcelona), Spain, 17th to 19th July 2013},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {171},
 publisher    = {Open Publishing Association},
 pages        = {50--62},
 doi          = {10.4204/EPTCS.171.5},
)
@inproceedings(Garvie2017Verifying-the-S,
 author       = {Liam Garvie and Ross Duncan},
 year         = {2018},
 title        = {Verifying the Smallest Interesting Colour Code with Quantomatic},
 editor       = {Bob Coecke and Aleks Kissinger},
 booktitle    = {Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017), Nijmegen, The Netherlands, 3-7 July 2017},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {266},
 pages        = {147--163},
 doi          = {10.4204/EPTCS.266.10},
)
@inproceedings(Gottesman:1999to,
 author       = {Daniel Gottesman},
 year         = {1999},
 title        = {The Heisenberg Representation of Quantum Computers},
 editor       = {S. P. Corney and R. Delbourgo and P. D. Jarvis},
 booktitle    = {Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics},
 publisher    = {International Press},
 pages        = {32--43},
)
@inproceedings(Jeandel2017A-Complete-Axio,
 author       = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2018},
 title        = {A Complete Axiomatisation of the {ZX}-Calculus for {C}lifford+{T} Quantum Mechanics},
 booktitle    = {LICS '18- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
 volume       = {arXiv:1705.11151},
 publisher    = {ACM},
 doi          = {10.1145/3209108.3209131},
)
@misc(quantomatichome,
 author       = {A. Kissinger and L. Dixon and R. Duncan and B. Frot and A. Merry and D. Quick and M. Soloviev and V. Zamdzhiev},
 title        = {Quantomatic},
 url          = {http://quantomatic.github.io/},
)
@inproceedings(Kissinger2015Quantomatic:-A-,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {Quantomatic: A Proof Assistant for Diagrammatic Reasoning},
 editor       = {P. Amy Felty and Aart Middeldorp},
 booktitle    = {Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
 publisher    = {Springer},
 pages        = {326--336},
 doi          = {10.1007/978-3-319-21401-6\_22},
)
@article(Lack:2004sf,
 author       = {Stephen Lack},
 year         = {2004},
 title        = {Composing {PROP}s},
 journal      = {Theory and Applications of Categories},
 volume       = {13},
 number       = {9},
 pages        = {147--163},
)
@article(Lane1965Categorical-Alg,
 author       = {Saunders Mac Lane},
 year         = {1965},
 title        = {Categorical Algebra},
 journal      = {Bull. Amer. Math. Soc.},
 volume       = {71},
 pages        = {40--106},
 doi          = {10.1090/S0002-9904-1965-11234-4},
)
@article(Maslov2017Shorter-stabili,
 author       = {Dmitri Maslov and Martin Roetteler},
 year         = {2018},
 title        = {Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations},
 journal      = {IEEE Transactions on Information Theory},
 volume       = {64},
 number       = {7},
 pages        = {4729--4738},
 doi          = {10.1109/TIT.2018.2825602},
)
@unpublished(NgWang,
 author       = {Kang Feng Ng and Quanlong Wang},
 year         = {2017},
 title        = {A universal completion of the ZX-calculus},
 note         = {ArXiv:1706.09877},
)
@inproceedings(Perdrix:2015aa,
 author       = {Simon Perdrix and Quanlong Wang},
 year         = {2016},
 title        = {{Supplementarity is Necessary for Quantum Diagram Reasoning}},
 editor       = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier},
 booktitle    = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {58},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {76:1--76:14},
 doi          = {10.4230/LIPIcs.MFCS.2016.76},
)
@article(Raussendorf-2001,
 author       = {R. Raussendorf and H. J. Briegel},
 year         = {2001},
 title        = {A One-Way Quantum Computer},
 journal      = {Phys. Rev. Lett.},
 volume       = {86},
 pages        = {5188--5191},
 doi          = {10.1103/PhysRevLett.86.5188},
)
@article(selinger2013generators,
 author       = {Peter Selinger},
 year         = {2015},
 title        = {Generators and relations for n-qubit Clifford operators},
 journal      = {Logical Methods in Computer Science},
 volume       = {11},
 number       = {2:10},
 doi          = {10.2168/LMCS-11(2:10)2015},
)