@misc(anaconda,
 title        = {{Anaconda: Python for Data Science}},
 note         = {\url{https://www.anaconda.com/}},
)
@misc(matplotlib,
 title        = {{Matplotlib}},
 note         = {\url{https://matplotlib.org/}},
)
@misc(numpy,
 title        = {{NumPy}},
 note         = {\url{https://www.numpy.org/}},
)
@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},
)
@article(backens2018zhcalculus,
 author       = {Miriam Backens and Aleks Kissinger},
 year         = {2018},
 title        = {ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
 journal      = {arXiv preprint arXiv:1805.02175},
 doi          = {10.4204/EPTCS.287.2},
)
@article(horsman2017surgery,
 author       = {Niel de~Beaudrap and Dominic Horsman},
 year         = {2017},
 title        = {The ZX calculus is a language for surface code lattice surgery},
)
@article(chen2018classical,
 author       = {Jianxin Chen and Fang Zhang and Mingcheng Chen and Cupjin Huang and Michael Newman and Yaoyun Shi},
 year         = {2018},
 title        = {Classical simulation of intermediate-size quantum circuits},
 journal      = {arXiv preprint arXiv:1805.01450},
)
@inproceedings(CD1,
 author       = {B.~Coecke and R.~Duncan},
 year         = {2008},
 title        = {Interacting quantum observables},
 booktitle    = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)},
 series       = {Lecture Notes in Computer Science},
 doi          = {10.1007/978-3-540-70583-3\_25},
)
@article(CD2,
 author       = {B.~Coecke and R.~Duncan},
 year         = {2011},
 title        = {Interacting quantum observables: categorical algebra and diagrammatics},
 journal      = {New Journal of Physics},
 volume       = {13},
 pages        = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
 note         = {{arXiv:quant-ph/09064725}},
)
@conference(CK,
 author       = {B.~Coecke and A.~Kissinger},
 year         = {2010},
 title        = {{The compositional structure of multipartite quantum entanglement}},
 booktitle    = {Automata, Languages and Programming},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {297--308},
 doi          = {10.1007/978-3-642-14162-1\_25},
 note         = {Extended version: {a}rXiv:1002.2540},
)
@book(CKbook,
 author       = {B.~Coecke and A.~Kissinger},
 year         = {2014},
 title        = {Picturing Quantum Processes},
 publisher    = {Cambridge University Press},
 doi          = {10.1007/978-3-319-91376-6\_6},
)
@article(qasmpaper,
 author       = {Andrew~W Cross and Lev~S Bishop and John~A Smolin and Jay~M Gambetta},
 year         = {2017},
 title        = {Open quantum assembly language},
 journal      = {arXiv preprint arXiv:1707.03429},
)
@conference(DP2,
 author       = {R.~Duncan and S.~Perdrix},
 year         = {2010},
 title        = {{Rewriting measurement-based quantum computations with generalised flow}},
 booktitle    = {Proceedings of {ICALP}},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {285--296},
 doi          = {10.1007/978-3-642-14162-1\_24},
)
@article(duncan2019graph,
 author       = {Ross Duncan and Aleks Kissinger and Simon Pedrix and John van~de Wetering},
 year         = {2019},
 title        = {Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus},
 journal      = {arXiv preprint arXiv:1902.03178},
)
@inproceedings(FaganDuncan,
 author       = {Andrew Fagan and Ross Duncan},
 year         = {2019},
 title        = {Optimising Clifford Circuits with Quantomatic},
 editor       = {Peter Selinger and Giulio Chiribella},
 booktitle    = {{\rm Proceedings of the 15th International Conference on} Quantum Physics and Logic (QPL)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 publisher    = {Open Publishing Association},
 pages        = {85--105},
 doi          = {10.4204/EPTCS.287.5},
)
@phdthesis(hadzihasanovic2017algebra,
 author       = {Amar Hadzihasanovic},
 year         = {2017},
 title        = {The algebra of entanglement and the geometry of composition},
 school       = {University of Oxford},
)
@inproceedings(HarnyAmarCompleteness,
 author       = {Amar Hadzihasanovic and Kang~Feng Ng and Quanlong Wang},
 year         = {2018},
 title        = {Two Complete Axiomatisations of Pure-state Qubit Quantum Computing},
 booktitle    = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
 series       = {LICS '18},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {502--511},
 doi          = {10.1145/3209108.3209128},
)
@article(heyfron2018efficient,
 author       = {Luke~Ellis Heyfron and Earl Campbell},
 year         = {2018},
 title        = {{An efficient quantum compiler that reduces T count}},
 journal      = {Quantum Science and Technology},
 doi          = {10.1088/2058-9565/aad604},
)
@inproceedings(SimonCompleteness,
 author       = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2018},
 title        = {A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics},
 booktitle    = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
 series       = {LICS '18},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {559--568},
 doi          = {10.1145/3209108.3209131},
)
@misc(jupyter,
 author       = {Project Jupyter},
 title        = {{Project Jupyter Homepage}},
 note         = {\url{https://jupyter.org/index.html}},
)
@misc(tikzit,
 author       = {Aleks Kissinger},
 title        = {{Tikzit Homepage}},
 note         = {\url{https://tikzit.github.io/}},
)
@article(kissinger2019cnot,
 author       = {Aleks Kissinger and Arianne Meijer-van de~Griend},
 year         = {2019},
 title        = {CNOT circuit extraction for topologically-constrained quantum memories},
 journal      = {arXiv preprint arXiv:1904.00633},
)
@inproceedings(kissinger2012pattern,
 author       = {Aleks Kissinger and Alex Merry and Matvey Soloviev},
 year         = {2014},
 title        = {Pattern graph rewrite systems},
 editor       = {Benedikt L\"owe and Glynn Winskel},
 booktitle    = {{\rm Proceedings 8th International Workshop on} Developments in Computational Models, {\rm Cambridge, United Kingdom, 17 June 2012}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {143},
 publisher    = {Open Publishing Association},
 pages        = {54--66},
 doi          = {10.4204/EPTCS.143.5},
)
@misc(pyzxdoc,
 author       = {Aleks Kissinger and John van~de Wetering},
 title        = {{PyZX Documentation}},
 note         = {\url{https://pyzx.readthedocs.io}},
)
@article(optimisation-paper,
 author       = {Aleks Kissinger and John van~de Wetering},
 year         = {2019},
 title        = {{Reducing T-count with the ZX-calculus}},
 journal      = {arXiv preprint arXiv:1903.10477},
)
@article(kissinger2017MBQC,
 author       = {Aleks Kissinger and John van~de Wetering},
 year         = {2019},
 title        = {Universal {MBQC} with generalised parity-phase interactions and {Pauli} measurements},
 journal      = {Quantum},
 volume       = {3},
 pages        = {134},
 doi          = {10.22331/q-2019-04-26-134},
)
@inproceedings(kissinger2015quantomatic,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {Quantomatic: A proof assistant for diagrammatic reasoning},
 booktitle    = {International Conference on Automated Deduction},
 pages        = {326--336},
 doi          = {10.1007/978-3-319-21401-6\_22},
)
@article(markov2008simulating,
 author       = {Igor~L Markov and Yaoyun Shi},
 year         = {2008},
 title        = {Simulating quantum computation by contracting tensor networks},
 journal      = {SIAM Journal on Computing},
 volume       = {38},
 number       = {3},
 pages        = {963--981},
 doi          = {10.1137/050644756},
)
@misc(maslovreversible,
 author       = {Dmitri Maslov},
 title        = {{Reversible Logic Synthesis Benchmarks Page}},
 note         = {\url{http://webhome.cs.uvic.ca/~dmaslov/}},
)
@article(nam2018automated,
 author       = {Yunseong Nam and Neil~J Ross and Yuan Su and Andrew~M Childs and Dmitri Maslov},
 year         = {2018},
 title        = {Automated optimization of large quantum circuits with continuous parameters},
 journal      = {npj Quantum Information},
 volume       = {4},
 number       = {1},
 pages        = {23},
 doi          = {10.1038/s41534-018-0072-4},
)
@inproceedings(hadzihasanovic2018diagrammatic,
 author       = {Kang~Feng Ng and Amar Hadzihasanovic and Giovanni de~Felice},
 year         = {2019},
 title        = {A diagrammatic calculus of fermionic quantum circuits},
 volume       = {15},
 publisher    = {Episciences.org},
 doi          = {10.4230/LIPIcs.FSCD.2018.17},
)
@misc(quipper,
 author       = {Peter Selinger},
 title        = {{Quipper Language Homepage}},
 note         = {\url{https://www.mathstat.dal.ca/~selinger/quipper/}},
)
@unpublished(euler-zx,
 author       = {Renaud Vilmart},
 year         = {2018},
 title        = {A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics},
 url          = {https://arxiv.org/abs/1812.09114},
)