@article(Aaronson2008,
 author       = {Scott Aaronson and Daniel Gottesman},
 year         = {2004},
 title        = {{Improved Simulation of Stabilizer Circuits}},
 journal      = {Physical Review A},
 volume       = {70},
 number       = {5},
 pages        = {052328},
 doi          = {10.1103/PhysRevA.70.052328},
)
@phdthesis(Amy2019,
 author       = {Matthew Amy},
 year         = {2019},
 title        = {{Formal Methods in Quantum Circuit Design}},
 url          = {http://hdl.handle.net/10012/14480},
)
@article(Amy2019a,
 author       = {Matthew Amy},
 year         = {2019},
 title        = {{Towards Large-scale Functional Verification of Universal Quantum Circuits}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 pages        = {1--21},
 doi          = {10.4204/EPTCS.287.1},
)
@article(Backens2018,
 author       = {Miriam Backens and Aleks Kissinger},
 year         = {2019},
 title        = {{ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 pages        = {23--42},
 doi          = {10.4204/EPTCS.287.2},
)
@article(Backens2020,
 author       = {Miriam Backens and Miller-Bakewell, Hector and Giovanni de Felice and Leo Lobski and John van de Wetering},
 year         = {2021},
 title        = {{There and back again: A circuit extraction tale}},
 journal      = {Quantum},
 volume       = {5},
 pages        = {421},
 doi          = {10.22331/q-2021-03-25-421},
)
@article(Barkoutsos2018,
 author       = {Panagiotis Kl Barkoutsos and Jerome F. Gonthier and Igor Sokolov and Nikolaj Moll and Gian Salis and Andreas Fuhrer and Marc Ganzhorn and Daniel J. Egger and Matthias Troyer and Antonio Mezzacapo and Stefan Filipp and Ivano Tavernelli},
 year         = {2018},
 title        = {{Quantum algorithms for electronic structure calculations: Particle-hole Hamiltonian and optimized wave-function expansions}},
 journal      = {Physical Review A},
 doi          = {10.1103/PhysRevA.98.022322},
)
@article(Beaudrap2010,
 author       = {Niel De Beaudrap},
 year         = {2010},
 title        = {{Unitary-circuit semantics for measurement-based computations}},
 journal      = {International Journal of Quantum Information},
 doi          = {10.1142/S0219749910006113},
)
@article(VandenBerg2020,
 author       = {Ewout van den Berg and Kristan Temme},
 year         = {2020},
 title        = {{Circuit optimization of Hamiltonian simulation by simultaneous diagonalization of Pauli clusters}},
 journal      = {Quantum},
 volume       = {4},
 pages        = {322},
 doi          = {10.22331/q-2020-09-12-322},
)
@article(Browne,
 author       = {Daniel E Browne and Elham Kashefi and Mehdi Mhalla and Simon Perdrix},
 year         = {2007},
 title        = {{Generalized flow and determinism in measurement-based quantum computation}},
 journal      = {New Journal of Physics},
 volume       = {9},
 number       = {8},
 pages        = {250--250},
 doi          = {10.1088/1367-2630/9/8/250},
)
@article(Calderbank1997,
 author       = {A. R. Calderbank and E. M. Rains and P. W. Shor and N. J.A. Sloane},
 year         = {1997},
 title        = {{Quantum error correction and orthogonal geometry}},
 journal      = {Physical Review Letters},
 doi          = {10.1103/PhysRevLett.78.405},
)
@inproceedings(Cowtan2020,
 author       = {Alexander Cowtan and Silas Dilkes and Ross Duncan and Will Simmons and Seyon Sivarajah},
 year         = {2020},
 title        = {{Phase gadget synthesis for shallow circuits}},
 booktitle    = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
 doi          = {10.4204/EPTCS.318.13},
)
@article(Cowtan2020a,
 author       = {Alexander Cowtan and Will Simmons and Ross Duncan},
 year         = {2020},
 title        = {{A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz}},
 url          = {http://arxiv.org/abs/2007.10515},
)
@article(Danos2006,
 author       = {Vincent Danos and Elham Kashefi},
 year         = {2006},
 title        = {{Determinism in the one-way model}},
 journal      = {Physical Review A},
 volume       = {74},
 number       = {5},
 doi          = {10.1103/PhysRevA.74.052310},
)
@article(DeBeaudrap2008,
 author       = {{De Beaudrap}, Niel},
 year         = {2008},
 title        = {{Finding flows in the one-way measurement model}},
 journal      = {Physical Review A - Atomic, Molecular, and Optical Physics},
 volume       = {77},
 number       = {2},
 pages        = {022328},
 doi          = {10.1103/PhysRevA.77.022328},
)
@article(Duncan2020,
 author       = {Ross Duncan and Aleks Kissinger and Simon Perdrix and {Van De Wetering}, John},
 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},
)
@incollection(Duncan2010,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2010},
 title        = {{Rewriting Measurement-Based Quantum Computations with Generalised Flow}},
 booktitle    = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 pages        = {285--296},
 doi          = {10.1007/978-3-642-14162-1\_24},
)
@article(Eslamy2018,
 author       = {Maryam Eslamy and Mahboobeh Houshmand and Morteza Saheb Zamani and Mehdi Sedighi},
 year         = {2018},
 title        = {{Optimization of One-Way Quantum Computation Measurement Patterns}},
 journal      = {International Journal of Theoretical Physics},
 doi          = {10.1007/s10773-018-3844-x},
)
@article(Fagan,
 author       = {Andrew Fagan and Ross Duncan},
 year         = {2019},
 title        = {{Optimising Clifford Circuits with Quantomatic}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {287},
 pages        = {85--105},
 doi          = {10.4204/EPTCS.287.5},
)
@article(Gosset2013,
 author       = {David Gosset and Vadym Kliuchnikov and Michele Mosca and Vincent Russo},
 year         = {2014},
 title        = {{An algorithm for the T-count}},
 journal      = {Quantum Information and Computation},
 volume       = {14},
 number       = {15\&16},
 pages        = {1261--1276},
 doi          = {10.26421/QIC14.15-16-1},
)
@article(Gottesman1998,
 author       = {Daniel Gottesman},
 year         = {1998},
 title        = {{The Heisenberg Representation of Quantum Computers}},
 url          = {http://arxiv.org/abs/quant-ph/9807006},
)
@article(Kissinger2019,
 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},
 pages        = {022406},
 doi          = {10.1103/PhysRevA.102.022406},
)
@article(Kuijpers2019,
 author       = {Stach Kuijpers and John van de Wetering and Aleks Kissinger},
 year         = {2019},
 title        = {{Graphical Fourier Theory and the Cost of Quantum Addition}},
 url          = {http://arxiv.org/abs/1904.07551},
)
@article(Lemonnier2020,
 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}},
 url          = {http://arxiv.org/abs/2003.13564},
)
@techreport(Litinski2019,
 author       = {Daniel Litinski},
 year         = {2019},
 title        = {{A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery}},
 type         = {Technical Report},
 doi          = {10.22331/q-2019-03-05-128},
)
@techreport(Maslov2017,
 author       = {Dmitri Maslov},
 year         = {2017},
 title        = {{Basic circuit compilation techniques for an ion-trap quantum machine}},
 type         = {Technical Report},
 doi          = {10.1088/1367-2630/aa5e47},
)
@techreport(Maslov,
 author       = {Dmitri Maslov and Martin Roetteler},
 title        = {{Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations}},
 type         = {Technical Report},
 doi          = {10.1109/TIT.2018.2825602},
)
@incollection(Mhalla2008,
 author       = {Mehdi Mhalla and Simon Perdrix},
 year         = {2008},
 title        = {{Finding Optimal Flows Efficiently}},
 booktitle    = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 volume       = {5125 LNCS},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {857--868},
 doi          = {10.1007/978-3-540-70575-8\_70},
)
@article(FengNgQuanlongWang2017,
 author       = {Kang Feng Ng and Quanlong Wang},
 year         = {2017},
 title        = {{A universal completion of the ZX-calculus}},
 url          = {http://arxiv.org/abs/1706.09877},
)
@book(Nielsen2010,
 author       = {Michael A. Nielsen and Isaac L. Chuang},
 year         = {2010},
 title        = {{Quantum Computation and Quantum Information}},
 doi          = {10.1017/cbo9780511976667},
)
@incollection(Perdrix2017,
 author       = {Simon Perdrix and Luc Sanselme},
 year         = {2017},
 title        = {{Determinism and Computational Power of Real Measurement-Based Quantum Computation}},
 booktitle    = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 volume       = {10472 LNCS},
 publisher    = {Springer Verlag},
 pages        = {395--408},
 doi          = {10.1007/978-3-662-55751-8\_31},
)
@article(Raussendorf2001,
 author       = {Robert Raussendorf and Hans J. Briegel},
 year         = {2001},
 title        = {{A one-way quantum computer}},
 journal      = {Physical Review Letters},
 doi          = {10.1103/PhysRevLett.86.5188},
)
@article(DaSilva2013,
 author       = {Raphael Dias da Silva and Einar Pius and Elham Kashefi},
 year         = {2013},
 title        = {{Global Quantum Circuit Optimization}},
 url          = {http://arxiv.org/abs/1301.0351},
)
@article(VandenNest2004,
 author       = {{Van den Nest}, Maarten and Jeroen Dehaene and {De Moor}, Bart},
 year         = {2004},
 title        = {{Graphical description of the action of local Clifford transformations on graph states}},
 journal      = {Physical Review A - Atomic, Molecular, and Optical Physics},
 doi          = {10.1103/PhysRevA.69.022316},
)
@article(Zhang2019a,
 author       = {Fang Zhang and Jianxin Chen},
 year         = {2019},
 title        = {{Optimizing T gates in Clifford+T circuit as $\pi/4$ rotations around Paulis}},
 url          = {http://arxiv.org/abs/1903.12456},
)