@inproceedings(backens2018zh,
 author       = {Miriam Backens and Aleks Kissinger},
 year         = {2019},
 title        = {{ZH}: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
 editor       = {Peter Selinger and Giulio Chiribella},
 booktitle    = {{\rm Proceedings of the 15th International Conference on} Quantum Physics and Logic, {\rm Halifax, Canada, 3-7th June 2018}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 publisher    = {Open Publishing Association},
 pages        = {23--42},
 doi          = {10.4204/EPTCS.287.2},
)
@article(de2020well,
 author       = {Niel de Beaudrap},
 year         = {2020},
 title        = {Well-tempered ZX and ZH calculi},
 journal      = {arXiv preprint arXiv:2006.02557},
)
@inproceedings(de2020fast,
 author       = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang},
 year         = {2020},
 title        = {Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities},
 booktitle    = {15th Conference on the Theory of Quantum Computation, Communication and Cryptography},
 doi          = {10.4230/LIPIcs.TQC.2020.11},
)
@inproceedings(Pauli-Fusion,
 author       = {Niel de Beaudrap and Ross Duncan and Dominic Horsman and Simon Perdrix},
 year         = {2020},
 title        = {Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms},
 editor       = {Bob Coecke and Matthew Leifer},
 booktitle    = {{\rm Proceedings 16th International Conference on} Quantum Physics and Logic, {\rm Chapman University, Orange, CA, USA., 10-14 June 2019}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {318},
 publisher    = {Open Publishing Association},
 pages        = {85--105},
 doi          = {10.4204/EPTCS.318.6},
)
@article(de2017zx,
 author       = {Niel de Beaudrap and Dominic Horsman},
 year         = {2017},
 title        = {The ZX calculus is a language for surface code lattice surgery},
 journal      = {https://quantum-journal.org/papers/q-2020-01-09-218/},
 doi          = {10.22331/q-2020-01-09-218},
)
@article(bernstein1997quantum,
 author       = {Ethan Bernstein and Umesh Vazirani},
 year         = {1997},
 title        = {Quantum complexity theory},
 journal      = {SIAM Journal on computing},
 volume       = {26},
 number       = {5},
 pages        = {1411--1473},
 doi          = {10.1145/167088.167097},
)
@inproceedings(carette2019szx,
 author       = {Titouan Carette and Dominic Horsman and Simon Perdrix},
 year         = {2019},
 title        = {SZX-Calculus: Scalable Graphical Quantum Reasoning},
 booktitle    = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
 doi          = {10.4230/LIPIcs.MFCS.2019.55},
)
@inproceedings(carette2019completeness,
 author       = {Titouan Carette and Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2019},
 title        = {Completeness of Graphical Languages for Mixed States Quantum Mechanics},
 booktitle    = {International Colloquium on Automata, Languages, and Programming (ICALP'19)},
 doi          = {10.4230/LIPIcs.ICALP.2019.108},
)
@article(carette2020colored,
 author       = {Titouan Carette and Simon Perdrix},
 year         = {2020},
 title        = {Colored props for large scale graphical reasoning},
 journal      = {arXiv preprint arXiv:2007.03564},
)
@article(chancellor2016graphical,
 author       = {Nicholas Chancellor and Aleks Kissinger and Joschka Roffe and Stefan Zohren and Dominic Horsman},
 year         = {2016},
 title        = {Graphical structures for design and verification of quantum error correction},
 journal      = {arXiv preprint arXiv:1611.08012},
)
@inproceedings(chantawibul2018monoidal,
 author       = {Apiwat Chantawibul and Pawe{\l} Soboci{\'n}ski},
 year         = {2018},
 title        = {Monoidal Multiplexing},
 booktitle    = {International Colloquium on Theoretical Aspects of Computing},
 organization = {Springer},
 pages        = {116--131},
 doi          = {10.1007/978-3-030-02508-3_7},
)
@article(coecke2011interacting,
 author       = {Bob Coecke and Ross Duncan},
 title        = {Interacting quantum observables: categorical algebra and diagrammatics},
 journal      = {New Journal of Physics},
 volume       = {13},
 number       = {4},
 pages        = {043016},
 doi          = {10.1007/978-3-540-70583-3_25], year = {2011}},
)
@book(picturing-qp,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(deutsch1992rapid,
 author       = {David Deutsch and Richard Jozsa},
 year         = {1992},
 title        = {Rapid solution of problems by quantum computation},
 journal      = {Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences},
 volume       = {439},
 number       = {1907},
 pages        = {553--558},
 doi          = {10.1098/rspa.1992.0167},
)
@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},
 doi          = {10.22331/q-2020-06-04-279},
)
@article(gidney2018efficient,
 author       = {Craig Gidney and Austin G Fowler},
 year         = {2018},
 title        = {Efficient magic state factories with a catalyzed |CCZ> to 2|T> transformation},
 journal      = {arXiv preprint arXiv:1812.01238},
 doi          = {10.22331/q-2019-04-30-135},
)
@article(gogioso2017fully,
 author       = {Stefano Gogioso and Aleks Kissinger},
 year         = {2017},
 title        = {Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem},
 journal      = {arXiv preprint arXiv:1701.08669},
)
@article(Gro97b,
 author       = {L. K. Grover},
 year         = {1997},
 title        = {Quantum Mechanics Helps in Searching for a Needle in a Haystack},
 journal      = {Phys. Rev. Lett.},
 volume       = {79},
 pages        = {325},
 doi          = {10.1103/PhysRevLett.79.325},
)
@article(hadzihasanovic2018zw,
 author       = {Amar Hadzihasanovic},
 year         = {2018},
 title        = {ZW calculi: diagrammatic languages for pure-state quantum computing},
 journal      = {Logic and Applications LAP 2018},
 pages        = {13},
)
@inproceedings(HNW,
 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(hanks2020effective,
 author       = {Michael Hanks and Marta P Estarellas and William J Munro and Kae Nemoto},
 year         = {2020},
 title        = {Effective Compression of Quantum Braided Circuits Aided by ZX-Calculus},
 journal      = {Physical Review X},
 volume       = {10},
 number       = {4},
 pages        = {041030},
 doi          = {10.1103/PhysRevX.10.041030},
)
@inproceedings(jeandel2018complete,
 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    = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 organization = {ACM},
 pages        = {559--568},
 doi          = {10.1145/3209108.3209131},
)
@inproceedings(jeandel2018diagrammatic,
 author       = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2018},
 title        = {Diagrammatic reasoning beyond Clifford+ T quantum mechanics},
 booktitle    = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 organization = {ACM},
 pages        = {569--578},
 doi          = {10.1145/3209108.3209139},
)
@article(kissinger2019reducing,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2019},
 title        = {Reducing T-count with the ZX-calculus},
 journal      = {arXiv preprint arXiv:1903.10477},
)
@misc(nielsen2002quantum,
 author       = {Michael A Nielsen and Isaac Chuang},
 year         = {2002},
 title        = {Quantum computation and quantum information},
)
@article(simon1997power,
 author       = {Daniel R Simon},
 year         = {1997},
 title        = {On the power of quantum computation},
 journal      = {SIAM journal on computing},
 volume       = {26},
 number       = {5},
 pages        = {1474--1483},
 doi          = {10.1137/S0097539796298637},
)
@inproceedings(vicary2013topological,
 author       = {Jamie Vicary},
 year         = {2013},
 title        = {Topological structure of quantum algorithms},
 booktitle    = {2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science},
 organization = {IEEE},
 pages        = {93--102},
 doi          = {10.1109/LICS.2013.14},
)
@article(zeng2014abstract,
 author       = {William Zeng and Jamie Vicary},
 year         = {2014},
 title        = {Abstract structure of unitary oracles for quantum algorithms},
 journal      = {arXiv preprint arXiv:1406.1278},
 doi          = {10.4204/EPTCS.172.19},
)