@inproceedings(AC1,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A Categorical Semantics of Quantum Protocols},
 booktitle    = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings},
 publisher    = {{IEEE} Computer Society},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@inproceedings(Amy-2018,
 author       = {Matthew Amy},
 year         = {2018},
 title        = {Towards Large-scale Functional Verification of Universal Quantum Circuits},
 booktitle    = {Proceedings of QPL 2018},
 pages        = {1--21},
 doi          = {10.4204/EPTCS.287.1},
 note         = {{[arXiv:1901.09476]; see also https://github.com/meamy/feynman.}},
)
@article(Backens,
 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(Backens2,
 author       = {Miriam Backens},
 year         = {2014},
 title        = {The ZX-calculus is complete for the single-qubit Clifford+T group},
 editor       = {Bob Coecke and Ichiro Hasuo and Prakash Panangaden},
 booktitle    = {Proceedings of the 11th workshop on Quantum Physics and Logic},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {172},
 publisher    = {Open Publishing Association},
 pages        = {293--303},
 doi          = {10.4204/EPTCS.172.21},
)
@inproceedings(EPTCS287.2,
 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},
)
@inproceedings(nielbianwangtqc,
 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},
 editor       = {Steven T. Flammia},
 booktitle    = {15th Conference on the Theory of Quantum Computation, Communication and Cryptography, {TQC} 2020, June 9-12, 2020, Riga, Latvia},
 series       = {LIPIcs},
 volume       = {158},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {11:1--11:23},
 doi          = {10.4230/LIPIcs.TQC.2020.11},
)
@inproceedings(nielbianwang,
 author       = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang},
 year         = {2020},
 title        = {Techniques to Reduce $\pi/4$-Parity-Phase Circuits, Motivated by the ZX Calculus},
 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        = {131--149},
 doi          = {10.4204/EPTCS.318.9},
)
@article(Xiaoning,
 author       = {Xiaoning Bian},
 title        = {https://github.com/onestruggler/cx-ccx},
 journal      = {GitHub},
)
@inproceedings(galoiscircuits,
 author       = {Donny Cheung and Dmitri Maslov and Jimson Mathew and Dhiraj K. Pradhan},
 year         = {2008},
 title        = {On the Design and Optimization of a Quantum Polynomial-Time Attack on Elliptic Curve Cryptography},
 editor       = {Yasuhito Kawano and Michele Mosca},
 booktitle    = {Theory of Quantum Computation, Communication, and Cryptography, Third Workshop, {TQC} 2008, Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {5106},
 publisher    = {Springer},
 pages        = {96--104},
 doi          = {10.1007/978-3-540-89304-2\_9},
)
@inproceedings(CockettComfort,
 author       = {J.R.B. Cockett and Cole Comfort},
 year         = {2019},
 title        = {The Category TOF},
 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        = {67--84},
 doi          = {10.4204/EPTCS.287.4},
)
@inproceedings(DBLP:conf/rc/CoeckeW18,
 author       = {B. Coecke and Q. Wang},
 year         = {2018},
 title        = {ZX-Rules for 2-Qubit {C}lifford+{T} Quantum Circuits},
 booktitle    = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings},
 pages        = {144--161},
 doi          = {10.1007/978-3-319-99498-7\_10},
)
@inproceedings(CD1,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2008},
 title        = {Interacting Quantum Observables},
 editor       = {Luca Aceto and Damg{\r a}rd, Ivan and Leslie Ann Goldberg and Magn{\'{u}}s M. Halld{\'{o}}rsson and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Igor Walukiewicz},
 booktitle    = {Automata, Languages and Programming, 35th International Colloquium, {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&} Track {C:} Security and Cryptography Foundations},
 series       = {Lecture Notes in Computer Science},
 volume       = {5126},
 publisher    = {Springer},
 pages        = {298--310},
 doi          = {10.1007/978-3-540-70583-3\_25},
)
@article(CD2,
 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},
 url          = {http://stacks.iop.org/1367-2630/13/i=4/a=043016},
)
@inproceedings(CK,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2010},
 title        = {The Compositional Structure of Multipartite Quantum Entanglement},
 editor       = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis},
 booktitle    = {Automata, Languages and Programming, 37th International Colloquium, {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part {II}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6199},
 publisher    = {Springer},
 pages        = {297--308},
 doi          = {10.1007/978-3-642-14162-1\_25},
)
@book(CKbook,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing quantum processes},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@inproceedings(Amar,
 author       = {Amar Hadzihasanovic},
 year         = {2015},
 title        = {A Diagrammatic Axiomatisation for Qubit Entanglement},
 booktitle    = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015},
 publisher    = {{IEEE} Computer Society},
 pages        = {573--584},
 doi          = {10.1109/LICS.2015.59},
)
@phdthesis(hadzihasanovic2017algebra,
 author       = {Amar Hadzihasanovic},
 year         = {2017},
 title        = {The algebra of entanglement and the geometry of composition},
 school       = {University of Oxford},
)
@inproceedings(iwama2002transformation,
 author       = {Kazuo Iwama and Yahiko Kambayashi and Shigeru Yamashita},
 year         = {2002},
 title        = {Transformation rules for designing CNOT-based quantum circuits},
 booktitle    = {Proceedings of the 39th Design Automation Conference, {DAC} 2002, New Orleans, LA, USA, June 10-14, 2002},
 publisher    = {{ACM}},
 pages        = {419--424},
 doi          = {10.1145/513918.514026},
)
@inproceedings(jeandel2017complete,
 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},
 series       = {LICS '18},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 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 {C}lifford+{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        = {569--578},
 doi          = {10.1145/3209108.3209139},
)
@article(Aleks2,
 author       = {Aleks Kissinger and Arianne Meijer{-}van de Griend},
 year         = {2020},
 title        = {{CNOT} circuit extraction for topologically-constrained quantum memories},
 journal      = {Quantum Inf. Comput.},
 volume       = {20},
 number       = {7{\&}8},
 pages        = {581--596},
 doi          = {10.26421/QIC20.7-8-4},
)
@inproceedings(Aleks3,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2020},
 title        = {PyZX: Large Scale Automated Diagrammatic Reasoning},
 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        = {229--241},
 doi          = {10.4204/EPTCS.318.14},
)
@article(Aleks1,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2020},
 title        = {Reducing the number of non-Clifford gates in quantum circuits},
 journal      = {Phys. Rev. A},
 volume       = {102},
 pages        = {022406},
 doi          = {10.1103/PhysRevA.102.022406},
)
@article(NRSCM-2018,
 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},
 note         = {{[arXiv:1710.07345]}},
)
@article(ng2017universal,
 author       = {Kang Feng Ng and Quanlong Wang},
 year         = {2017},
 title        = {A universal completion of the {ZX}-calculus},
 note         = {\href{http://arxiv.org/abs/1706.09877}{arXiv:1706.09877}},
)
@article(qwangkfclifford2018,
 author       = {Kang Feng Ng and Quanlong Wang},
 year         = {2018},
 title        = {Completeness of the {ZX}-calculus for Pure Qubit Clifford+T Quantum Mechanics},
 note         = {\href{http://arxiv.org/abs/1801.07993}{arXiv:1801.07993}},
)
@inproceedings(toffoli,
 author       = {Tommaso Toffoli},
 year         = {1980},
 title        = {Reversible Computing},
 editor       = {J. W. de Bakker and Jan van Leeuwen},
 booktitle    = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {85},
 publisher    = {Springer},
 pages        = {632--644},
 doi          = {10.1007/3-540-10003-2\_104},
)
@inproceedings(Vilmart2018,
 author       = {Renaud Vilmart},
 year         = {2019},
 title        = {A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics},
 booktitle    = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019},
 pages        = {1--10},
 doi          = {10.1109/LICS.2019.8785765},
)
@phdthesis(QWthesis,
 author       = {Quanlong Wang},
 year         = {2018},
 title        = {Completeness of the {ZX}-calculus},
 school       = {University of Oxford},
)
@article(wangalg2020,
 author       = {Quanlong Wang},
 year         = {2020},
 title        = {An algebraic axiomatisation of ZX-calculus},
 journal      = {To appear in Proceedings 17th International Conference on Quantum Physics and Logic},
 note         = {\href{http://arxiv.org/abs/1911.06752}{arXiv:1911.06752}},
)
@unpublished(ZhangChen-2019,
 author       = {Fang {Zhang} and Jianxin {Chen}},
 year         = {2019},
 title        = {Optimizing T gates in Clifford+T circuit as $\pi/4$ rotations around Paulis},
 note         = {\href{http://arxiv.org/abs/1903.12456}{arXiv:1903.12456}},
)