@article(Backens17,
 author       = {Miriam Backens and Simon Perdrix and Quanlong Wang},
 year         = {2017},
 title        = {A Simplified Stabilizer ZX-calculus},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {236},
 pages        = {1–20},
 doi          = {10.4204/eptcs.236.1},
)
@inproceedings(deBeaudrapN2020treducspidernest,
 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)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {158},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {11:1--11:23},
 doi          = {10.4230/LIPIcs.TQC.2020.11},
)
@article(debeaudrap21,
 author       = {Niel de Beaudrap and Aleks Kissinger and Konstantinos Meichanetzidis},
 year         = {2021},
 title        = {Tensor Network Rewriting Strategies for Satisfiability and Counting},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {340},
 pages        = {46–59},
 doi          = {10.4204/eptcs.340.3},
)
@article(berent22,
 author       = {Lucas Berent and Lukas Burgholzer and Robert Wille},
 year         = {2022},
 title        = {Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond},
 doi          = {10.48550/arXiv.2203.00698},
)
@inproceedings(borgna2021hybrid,
 author       = {Agust{\'i}n Borgna and Simon Perdrix and Beno{\^i}t Valiron},
 year         = {2021},
 title        = {{Hybrid quantum-classical circuit simplification with the ZX-calculus}},
 editor       = {Hakjoo Oh},
 booktitle    = {Programming Languages and Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {121--139},
 doi          = {10.1007/978-3-030-89051-3_8},
)
@article(bravyi19,
 author       = {Sergey Bravyi and Dan Browne and Padraic Calpin and Earl Campbell and David Gosset and Mark Howard},
 year         = {2019},
 title        = {Simulation of quantum circuits by low-rank stabilizer decompositions},
 journal      = {{Quantum}},
 volume       = {3},
 pages        = {181},
 doi          = {10.22331/q-2019-09-02-181},
)
@article(BSS,
 author       = {Sergey Bravyi and Graeme Smith and {John A.} Smolin},
 year         = {2016},
 title        = {Trading classical and quantum computational resources},
 journal      = {Physical Review X},
 volume       = {6},
 number       = {2},
 pages        = {021043},
 doi          = {10.1103/PhysRevX.6.021043},
)
@article(cam2023speeding,
 author       = {Tristan Cam and Simon Martiel},
 year         = {2023},
 title        = {{Speeding up quantum circuits simulation using ZX-Calculus}},
 journal      = {arXiv preprint arXiv:2305.02669},
)
@mastersthesis(Codsi2022Masters,
 author       = {Julien Codsi},
 year         = {2022},
 title        = {{Cutting-Edge Graphical Stabiliser Decompositions for Classical Simulation of Quantum Circuits}},
 school       = {University of Oxford},
 url          = {https://www.cs.ox.ac.uk/people/aleks.kissinger/theses/codsi-thesis.pdf},
)
@article(codsi2022classically,
 author       = {Julien Codsi and John van de Wetering},
 year         = {2022},
 title        = {{Classically Simulating Quantum Supremacy IQP Circuits trough a Random Graph Approach}},
 journal      = {arXiv preprint arXiv:2212.08609},
)
@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},
 pages        = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@book(pqp,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@inproceedings(Cowtan2020phasegadget,
 author       = {Alexander Cowtan and Silas Dilkes and Ross Duncan and Will Simmons and Seyon Sivarajah},
 year         = {2020},
 title        = {{Phase Gadget Synthesis for Shallow Circuits}},
 editor       = {Bob Coecke and Matthew Leifer},
 booktitle    = {Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {318},
 publisher    = {Open Publishing Association},
 pages        = {213--228},
 doi          = {10.4204/EPTCS.318.13},
)
@article(duncan2019graph,
 author       = {Ross Duncan and Aleks Kissinger and Simon Perdrix and John van de Wetering},
 year         = {2020},
 title        = {{Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus}},
 journal      = {{Quantum}},
 volume       = {4},
 pages        = {279},
 doi          = {10.22331/q-2020-06-04-279},
)
@inproceedings(gogioso2023annealing,
 author       = {Stefano Gogioso and Richie Yeung},
 year         = {2023},
 title        = {Annealing Optimisation of Mixed ZX Phase Circuits},
 editor       = {Stefano Gogioso and Matty Hoban},
 booktitle    = {Proceedings 19th International Conference on Quantum Physics and Logic, Wolfson College, Oxford, UK, 27 June - 1 July 2022},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {394},
 publisher    = {Open Publishing Association},
 pages        = {415--431},
 doi          = {10.4204/EPTCS.394.20},
)
@misc(github:pyzx,
 author       = {Aleks Kissinger and John van de Wetering},
 title        = {PyZX},
 url          = {https://github.com/Quantomatic/pyzx},
)
@inproceedings(kissinger2020Pyzx,
 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(Kissinger2020reducing,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2020},
 title        = {Reducing the number of non-Clifford gates in quantum circuits},
 journal      = {Physical Review A},
 volume       = {102},
 number       = {2},
 doi          = {10.1103/physreva.102.022406},
)
@article(kissinger21,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2022},
 title        = {Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions},
 journal      = {Quantum Science and Technology},
 volume       = {7},
 number       = {4},
 pages        = {044001},
 doi          = {10.1088/2058-9565/ac5d20},
)
@book(pqs,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2023},
 title        = {Picturing Quantum Software [Preprint]},
)
@inproceedings(kissinger2022classical,
 author       = {Aleks Kissinger and John van de Wetering and Renaud Vilmart},
 year         = {2022},
 title        = {{Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions}},
 editor       = {Le Gall, Fran\c{c}ois and Tomoyuki Morimae},
 booktitle    = {17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {232},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {5:1--5:13},
 doi          = {10.4230/LIPIcs.TQC.2022.5},
)
@article(koch2023speedy,
 author       = {Mark Koch and Richie Yeung and Quanlong Wang},
 year         = {2023},
 title        = {{Speedy Contraction of ZX Diagrams with Triangles via Stabiliser Decompositions}},
 journal      = {arXiv preprint arXiv:2307.01803},
)
@inproceedings(mcelvanney2023flowpreserving,
 author       = {Tommy McElvanney and Miriam Backens},
 year         = {2023},
 title        = {{Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation}},
 editor       = {Shane Mansfield and Benoit Val\^iron and Vladimir Zamdzhiev},
 booktitle    = {Proceedings of the Twentieth International Conference on Quantum Physics and Logic, Paris, France, 17-21st July 2023},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {384},
 publisher    = {Open Publishing Association},
 pages        = {203--219},
 doi          = {10.4204/EPTCS.384.12},
)
@article(nagele2023optimizing,
 author       = {Maximilian N{\"a}gele and Florian Marquardt},
 year         = {2023},
 title        = {{Optimizing ZX-Diagrams with Deep Reinforcement Learning}},
 journal      = {arXiv preprint arXiv:2311.18588},
)
@article(preskill18,
 author       = {John Preskill},
 year         = {2018},
 title        = {Quantum Computing in the NISQ era and beyond},
 journal      = {Quantum},
 volume       = {2},
 pages        = {79},
 doi          = {10.22331/q-2018-08-06-79},
)
@article(Qassim2021improvedupperbounds,
 author       = {Hammam Qassim and Hakop Pashayan and David Gosset},
 year         = {2021},
 title        = {Improved upper bounds on the stabilizer rank of magic states},
 journal      = {{Quantum}},
 volume       = {5},
 pages        = {606},
 doi          = {10.22331/q-2021-12-20-606},
)
@misc(github:paramzx,
 author       = {Matthew Sutcliffe},
 title        = {ParamZX},
 url          = {https://github.com/mjsutcliffe99/ParamZX},
)
@misc(github:procOptCut,
 author       = {Matthew Sutcliffe},
 title        = {ProcOptCut},
 url          = {https://github.com/mjsutcliffe99/ProcOptCut},
)
@inproceedings(sutcliffeParamZX,
 author       = {Matthew Sutcliffe and Aleks Kissinger},
 year         = {2024},
 title        = {Fast classical simulation of quantum circuits via parametric rewriting in the ZX-calculus [Preprint]},
)
@inproceedings(wetering20,
 author       = {John van de Wetering},
 year         = {2020},
 title        = {ZX-calculus for the working quantum computer scientist},
 doi          = {10.48550/arXiv.2012.13966},
)
@inproceedings(10.1145/3489517.3530627,
 author       = {Robert Wille and Lukas Burgholzer and Stefan Hillmich and Thomas Grurl and Alexander Ploier and Tom Peham},
 year         = {2022},
 title        = {{The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus}},
 booktitle    = {Proceedings of the 59th ACM/IEEE Design Automation Conference},
 series       = {DAC '22},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {1367–1370},
 doi          = {10.1145/3489517.3530627},
)