@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 [\url{https://github.com/meamy/feynman}].}},
)
@article(ACR-2018,
 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.1007/978-3-642-12821-9_4},
 note         = {{[arXiv:1701.00140]}},
)
@article(AMM-2014,
 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},
 note         = {{[arXiv:1303.2042]}},
)
@article(AMMR-2013,
 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},
 note         = {{[arXiv:1206.0758]}},
)
@article(AM-2019,
 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},
 note         = {{[arXiv:1601.07363]}},
)
@article(CH-2017,
 author       = {Earl T. Campbell and Mark Howard},
 year         = {2017},
 title        = {A unified framework for magic state distillation and multi-qubit gate-synthesis with reduced resource cost},
 journal      = {Physical Review A},
 volume       = {95},
 pages        = {022316},
 doi          = {10.1103/PhysRevA.86.022316},
 note         = {{[arXiv:1606.01904]}},
)
@inproceedings(DP-2010,
 author       = {Ross Duncan and Simon Perdrix},
 year         = {2010},
 title        = {Rewriting Measurement-Based Quantum Computations with Generalised Flow},
 editor       = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Meyer auf der Heide, Friedhelm and Paul G. Spirakis},
 booktitle    = {Automata, Languages and Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {285--296},
 doi          = {10.1007/s10472-009-9141-x},
)
@article(Gidney-2018,
 author       = {Craig Gidney},
 year         = {2018},
 title        = {Halving the cost of quantum addition},
 journal      = {Quantum},
 volume       = {2},
 pages        = {74},
 doi          = {10.1007/s11128-011-0297-z},
 note         = {{[arXiv:1709.06648]}},
)
@article(GKMR-2014,
 author       = {David Gosset and Vadym Kliuchnikov and Michele Mosca and Vincent Russo},
 year         = {2014},
 title        = {An Algorithm for the T-count},
 journal      = {Quantum Info. Comput.},
 volume       = {14},
 number       = {15-16},
 pages        = {1261--1276},
 url          = {http://dl.acm.org/citation.cfm?id=2685179.2685180},
 note         = {{[arXiv:1308.4134]}},
)
@article(HC-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.1038/srep01939},
 note         = {{[arXiv:1712.01557]}},
)
@article(Jones-2013,
 author       = {Cody Jones},
 year         = {2013},
 title        = {Low-overhead constructions for the fault-tolerant Toffoli gate},
 journal      = {Phys. Rev. A},
 volume       = {87},
 pages        = {022328},
 doi          = {10.1103/PhysRevA.87.022328},
 url          = {https://link.aps.org/doi/10.1103/PhysRevA.87.022328},
 note         = {{[arXiv:1212.5069]}},
)
@unpublished(KvdW-2019,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2019},
 title        = {Reducing T-count with the ZX-calculus},
 note         = {{[arXiv:1903.10477]}},
)
@article(Litinski-2019,
 author       = {Daniel Litinski},
 year         = {2019},
 title        = {{A} {G}ame of {S}urface {C}odes: Large-Scale Quantum Computing with Lattice Surgery},
 journal      = {Quantum},
 volume       = {3},
 pages        = {128},
 doi          = {10.1103/PhysRevB.96.205413},
 note         = {{[arXiv:1808.02892]}},
)
@article(MR-2018,
 author       = {Dmitri Maslov and Martin Roetteler},
 year         = {2018},
 title        = {Shorter stabilizer circuits via {B}ruhat decomposition and quantum circuit transformations},
 journal      = {{IEEE} Transactions on Information Theory},
 volume       = {64},
 pages        = {4729--4738},
 doi          = {10.1109/TIT.2018.2825602},
 note         = {{[arXiv:1705.09176]}},
)
@unpublished(MSCRdM-2019,
 author       = {Giulia Meuli and Mathias Soeken and Earl Campbell and Martin Roetteler and Giovanni De Micheli},
 year         = {2019},
 title        = {The Role of Multiplicative Complexity in Compiling Low {T}-count Oracle Circuits},
 note         = {{[arXiv:1908.01609]}},
)
@misc(Quipper,
 author       = {Peter Selinger},
 title        = {Quipper},
 howpublished = {\url{https://www.mathstat.dal.ca/~selinger/quipper}},
)
@unpublished(ZhangCheng19,
 author       = {Fang {Zhang} and Jianxin {Chen}},
 year         = {2019},
 title        = {Optimizing T gates in Clifford+T circuit as $\pi/4$ rotations around Paulis},
 note         = {{[arXiv:1903.12456]}},
)