@article(amy2016finite,
 author       = {Matthew Amy and Jianxin Chen and Neil J. Ross},
 year         = {2018},
 title        = {A Finite Presentation of CNOT-Dihedral Operators},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {266},
 pages        = {84--97},
 doi          = {10.4204/eptcs.266.5},
)
@article(Amy2014Polynomial-Time,
 author       = {Matthew Amy and Dmitri Maslov and Michele Mosca},
 year         = {2014},
 title        = {Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning},
 journal      = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
 volume       = {33},
 number       = {10},
 pages        = {1476--1489},
 doi          = {10.1109/TCAD.2014.2341953},
)
@article(amy2013meet,
 author       = {Matthew Amy and Dmitri Maslov and Michele Mosca and Martin Roetteler},
 year         = {2013},
 title        = {A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits},
 journal      = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
 volume       = {32},
 number       = {6},
 pages        = {818--830},
 doi          = {10.1109/tcad.2013.2244643},
)
@article(amy2019t,
 author       = {Matthew Amy and Michele Mosca},
 year         = {2019},
 title        = {T-Count Optimization and Reed-Muller Codes},
 journal      = {IEEE Transactions on Information Theory},
 volume       = {65},
 number       = {8},
 pages        = {4771--4784},
 doi          = {10.1109/tit.2019.2906374},
)
@article(barkoutsos2018quantum,
 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},
 year         = {2018},
 title        = {Quantum algorithms for electronic structure calculations: Particle-hole Hamiltonian and optimized wave-function expansions},
 journal      = {Physical Review A},
 volume       = {98},
 number       = {2},
 pages        = {022322},
 doi          = {10.1103/PhysRevA.98.022322},
)
@article(bartlett1989alternative,
 author       = {Rodney J Bartlett and Stanislaw A Kucharski and Jozef Noga},
 year         = {1989},
 title        = {Alternative coupled-cluster ans{\"a}tze II. The unitary coupled-cluster method},
 journal      = {Chemical physics letters},
 volume       = {155},
 number       = {1},
 pages        = {133--140},
 doi          = {10.1016/S0009-2614(89)87372-5},
)
@inproceedings(Beaudrap2017The-ZX-calculus,
 author       = {Niel de Beaudrap and Dominic Horsman},
 year         = {2017},
 title        = {The ZX calculus is a language for surface code lattice surgery},
 booktitle    = {Proc. QPL2017},
 url          = {https://arxiv.org/pdf/1704.08670},
)
@article(Beverland2019Lower-bounds-on,
 author       = {Michael Beverland and Earl Campbell and Mark Howard and Vadym Kliuchnikov},
 year         = {2019},
 title        = {Lower bounds on the non-Clifford resources for quantum computations},
 journal      = {arXiv preprint 1904.01124},
)
@article(blaauboer2008analytical,
 author       = {M Blaauboer and De Visser, RL},
 year         = {2008},
 title        = {An analytical decomposition protocol for optimal implementation of two-qubit entangling gates},
 journal      = {Journal of Physics A: Mathematical and Theoretical},
 volume       = {41},
 number       = {39},
 pages        = {395307},
 doi          = {10.1088/1751-8113/41/39/395307},
)
@article(bravyi2017tapering,
 author       = {Sergey Bravyi and Jay M Gambetta and Antonio Mezzacapo and Kristan Temme},
 year         = {2017},
 title        = {Tapering off qubits to simulate fermionic Hamiltonians},
 journal      = {arXiv preprint 1701.08213},
)
@article(bravyi2002fermionic,
 author       = {Sergey B Bravyi and Alexei Yu Kitaev},
 year         = {2002},
 title        = {Fermionic quantum computation},
 journal      = {Annals of Physics},
 volume       = {298},
 number       = {1},
 pages        = {210--226},
 doi          = {10.1006/aphy.2002.6254},
)
@article(Cao:2018aa,
 author       = {Yudong Cao and Jonathan Romero and Jonathan P. Olson and Matthias Degroote and Peter D. Johnson and M{\'a}ria Kieferov{\'a} and Ian D. Kivlichan and Tim Menke and Borja Peropadre and Nicolas P. D. Sawaya and Sukin Sim and Libor Veis and Aspuru-Guzik, Al{\'a}n},
 year         = {2018},
 title        = {Quantum Chemistry in the Age of Quantum Computing},
 journal      = {arXiv preprint 1812.09976},
)
@article(Coecke:2009aa,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting Quantum Observables: Categorical Algebra and Diagrammatics},
 journal      = {New J. Phys},
 volume       = {13},
 number       = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
)
@book(Coecke2017Picturing-Quant,
 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},
)
@inproceedings(Alexander-Cowtan:2019aa,
 author       = {Alexander Cowtan and Silas Dilkes and Ross Duncan and Alexandre Krajenbrink and Will Simmons and Seyon Sivarajah},
 year         = {2019},
 title        = {{On the Qubit Routing Problem}},
 editor       = {Wim van Dam and Laura Mancinska},
 booktitle    = {14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {135},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {5:1--5:32},
 doi          = {10.4230/LIPIcs.TQC.2019.5},
)
@article(Duncan:2019aa,
 author       = {Ross Duncan and Aleks Kissinger and Simon Perdrix and John van de Wetering},
 year         = {2019},
 title        = {Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus},
 journal      = {arXiv preprint 1902.03178},
)
@book(Ehrig:2006ab,
 author       = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
 year         = {2006},
 title        = {Fundamentals of Algebraic Graph Transformation},
 series       = {Monographs in Theoretical Computer Science},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/3-540-31188-2},
)
@article(fagan2019optimising,
 author       = {Andrew Fagan and Ross Duncan},
 year         = {2019},
 title        = {Optimising Clifford Circuits with Quantomatic},
 journal      = {arXiv preprint 1901.10114},
 doi          = {10.4204/eptcs.287.5},
)
@article(Heyfron_2018,
 author       = {Luke E Heyfron and Earl T Campbell},
 year         = {2018},
 title        = {An efficient quantum compiler that reduces T count},
 journal      = {Quantum Science and Technology},
 volume       = {4},
 number       = {1},
 pages        = {015004},
 doi          = {10.1088/2058-9565/aad604},
)
@(qiskit,
 author       = {{IBM Research}},
 title        = {Qiskit},
 url          = {https://qiskit.org},
)
@article(jordan1928pauli,
 author       = {Pascual Jordan and Eugene P Wigner},
 year         = {1928},
 title        = {About the Pauli exclusion principle},
 journal      = {Z. Phys.},
 volume       = {47},
 pages        = {631--651},
 doi          = {10.1007/BF01331938},
)
@article(kissinger2019cnot,
 author       = {Aleks Kissinger and Meijer-van de Griend, Arianne},
 year         = {2019},
 title        = {CNOT circuit extraction for topologically-constrained quantum memories},
 journal      = {arXiv preprint 1904.00633},
)
@article(kissinger2019reducing,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2019},
 title        = {Reducing T-count with the ZX-calculus},
 journal      = {arXiv preprint 1903.10477},
)
@article(litinski2018game,
 author       = {Daniel Litinski},
 year         = {2019},
 title        = {A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery},
 journal      = {Quantum},
 volume       = {3},
 pages        = {128},
 doi          = {10.22331/q-2019-03-05-128},
)
@article(1367-2630-18-2-023023,
 author       = {Jarrod R McClean and Jonathan Romero and Ryan Babbush and Aspuru-Guzik, Al{\'a}n},
 year         = {2016},
 title        = {The theory of variational hybrid quantum-classical algorithms},
 journal      = {New Journal of Physics},
 volume       = {18},
 number       = {2},
 pages        = {023023},
 doi          = {10.1088/1367-2630/18/2/023023},
 url          = {http://stacks.iop.org/1367-2630/18/i=2/a=023023},
)
@article(Nam:2018aa,
 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},
)
@article(nash2019quantum,
 author       = {Beatrice Nash and Vlad Gheorghiu and Michele Mosca},
 year         = {2019},
 title        = {Quantum circuit optimizations for NISQ architectures},
 journal      = {arXiv preprint 1904.01972},
)
@(forest,
 author       = {{Rigetti Computing}},
 title        = {Forest - Rigetti},
 url          = {http://rigetti.com/forest},
)
@article(selinger2013generators,
 author       = {Peter Selinger},
 year         = {2015},
 title        = {Generators and relations for n-qubit Clifford operators},
 journal      = {Logical Methods in Computer Science},
 volume       = {11},
 number       = {2},
 doi          = {10.2168/lmcs-11(2:10)2015},
)
@(cirq,
 author       = {{The Cirq Developers}},
 title        = {Cirq: A python library for NISQ circuits},
 url          = {https://cirq.readthedocs.io/en/stable/},
)
@article(vidal2004universal,
 author       = {Guifre Vidal and Christopher M Dawson},
 year         = {2004},
 title        = {Universal quantum circuit for two-qubit transformations with three controlled-NOT gates},
 journal      = {Physical Review A},
 volume       = {69},
 number       = {1},
 pages        = {010301},
 doi          = {10.1103/PhysRevA.69.010301},
)
@article(vilmart2018near,
 author       = {Renaud Vilmart},
 year         = {2018},
 title        = {A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics},
 journal      = {arXiv preprint 1812.09114},
)