@inproceedings(miriamaleks,
 author       = {Miriam Backens and Aleks Kissinger},
 year         = {2018},
 title        = {ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
 booktitle    = {Proceedings of the 15th International Workshop on Quantum Physics and Logic, {QPL} 2018, Halifax, Canada, 3-7th June 2018.},
 pages        = {23--42},
 doi          = {10.4204/ EPTCS.287.2},
)
@article(bpw,
 author       = {Miriam Backens and Simon Perdrix and Quanlong Wang},
 year         = {2017},
 title        = {A {Simplified} {Stabilizer} {ZX}-calculus},
 journal      = {EPTCS},
 volume       = {236},
 pages        = {1--20},
 doi          = {10.4204/EPTCS.236.1},
)
@article(BaezCR,
 author       = {John C. Baez and Brandon Coya and Franciscus Rebro},
 year         = {2018},
 title        = {Props in Network Theory},
 journal      = {Theory and Applications of Categories},
 volume       = {33},
 number       = {25},
 pages        = {727 -- 783},
 note         = {\href{http://arxiv.org/abs/1707.08321}{arXiv:1707.08321}},
)
@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(nakons2020,
 author       = {Niel de Beaudrap and Aleks Kissinger and Konstantinos Meichanetzidis},
 year         = {2020},
 title        = {Tensor Network Rewriting Strategies for Satisfiability and Counting},
 journal      = {To appear in Proceedings 17th International Conference on Quantum Physics and Logic},
 note         = {\href{http://arxiv.org/abs/2004.06455}{arXiv:2004.06455}},
)
@article(CoeckeDuncan,
 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(CDKW,
 author       = {Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang},
 year         = {2012},
 title        = {Strong Complementarity and Non-locality in Categorical Quantum Mechanics},
 booktitle    = {Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science},
 series       = {LICS '12},
 publisher    = {IEEE Computer Society},
 pages        = {245--254},
 doi          = {10.1109/LICS.2012.35},
)
@book(Coeckebk,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing quantum processes},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@inproceedings(coeckewang,
 author       = {Bob Coecke and Quanlong Wang},
 year         = {2018},
 title        = {{ZX}-rules for 2-qubit {Clifford}+{T} Quantum Circuits},
 booktitle    = {Proceedings of the 10th International Conference, Reversible Computation 2018},
 series       = {LNCS},
 pages        = {144--161},
 doi          = {10.1007/978-3-319-99498-7\_10},
)
@article(duncan_graph_2009,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2009},
 title        = {Graph States and the Necessity of {Euler} Decomposition},
 journal      = {Mathematical Theory and Computational Practice},
 volume       = {5635},
 pages        = {167--177},
 doi          = {10.1007/978-3-642-03073-4\_18},
)
@inproceedings(amarngwanglics,
 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},
 pages        = {502--511},
 doi          = {10.1145/3209108.3209128},
)
@inproceedings(jpvcltlics,
 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},
)
@inproceedings(jpvbeyondlics,
 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},
 series       = {LICS '18},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {569--578},
 doi          = {10.1145/3209108.3209139},
)
@inproceedings(jpvnormfmlics,
 author       = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2019},
 title        = {A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness},
 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.8785754},
)
@article(lwaleks2020,
 author       = {Louis Lemonnier and John van de Wetering and Aleks Kissinger},
 year         = {2020},
 title        = {Hypergraph simplification: Linking the path-sum approach to the ZH-calculus},
 journal      = {To appear in Proceedings 17th International Conference on Quantum Physics and Logic},
 note         = {\href{http://arxiv.org/abs/2003.13564}{arXiv:2003.13564}},
)
@article(maclane1965,
 author       = {Saunders MacLane},
 year         = {1965},
 title        = {Categorical algebra},
 journal      = {Bulletin of the American Mathematical Society},
 volume       = {71},
 number       = {1},
 pages        = {40--106},
 doi          = {10.1090/S0002-9904-1965-11234-4},
 note         = {\url{https://projecteuclid.org:443/euclid.bams/1183526392}},
)
@article(bobanthonywang,
 author       = {Anthony Munson and Bob Coecke and Quanlong Wang},
 year         = {2020},
 title        = {AND-gates in ZX-calculus: spider nest identities and QBC-completeness},
 journal      = {To appear in Proceedings 17th International Conference on Quantum Physics and Logic},
 note         = {\href{http://arxiv.org/abs/1910.06818}{arXiv:1910.06818}},
)
@article(ngwang,
 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(ngwang2,
 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(Renaudprulelics,
 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},
)
@unpublished(Wetering,
 author       = {John van de Wetering and Sal Wolffs},
 year         = {2019},
 title        = {Completeness of the Phase-free ZH-calculus},
 note         = {\href{http://arxiv.org/abs/1904.07545}{arXiv:1904.07545}},
)