@article(AMM,
 author       = {Matthew Amy and Dmitri Maslov and Michele Mosca},
 year         = {2014},
 title        = {Polynomial-time {T}-depth Optimization of {C}lifford+{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},
 url          = {http://arxiv.org/abs/1303.2042v2},
)
@article(AMMR,
 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},
 url          = {http://arxiv.org/abs/1206.0758},
)
@unpublished(AM,
 author       = {Matthew Amy and Michele Mosca},
 year         = {2016},
 title        = {{T}-count optimization and {R}eed-{M}uller codes},
 url          = {http://arxiv.org/abs/1601.07363},
)
@inproceedings(BGKSZ,
 author       = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawe\l Soboci\'{n}ski and Fabio Zanasi},
 year         = {2016},
 title        = {Rewriting Modulo Symmetric Monoidal Structure},
 booktitle    = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science},
 series       = {LICS '16},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {710--719},
 doi          = {10.1145/2933575.2935316},
 url          = {http://arxiv.org/abs/1602.06771},
)
@article(CMBSG16,
 author       = {Andrew W Cross and Easwar Magesan and Lev S Bishop and John A Smolin and Jay M Gambetta},
 year         = {2016},
 title        = {Scalable randomised benchmarking of non-{C}lifford gates},
 journal      = {npj Quantum Information},
 volume       = {2},
 doi          = {10.1002/rsa.3240040108},
 url          = {http://arxiv.org/abs/1510.02720},
)
@article(GS13,
 author       = {Brett Giles and Peter Selinger},
 year         = {2013},
 title        = {Exact synthesis of multiqubit {Clifford+T} circuits},
 journal      = {Physical Review A},
 volume       = {87},
 pages        = {032332},
 doi          = {10.1103/PhysRevA.52.3457},
 url          = {http://arxiv.org/abs/1212.0506},
)
@article(GKMR,
 author       = {David Gosset and Vadym Kliuchnikov and Michele Mosca and Vincent Russo},
 year         = {2014},
 title        = {An Algorithm for the {T}-count},
 journal      = {Quantum Information {\&} Computation},
 volume       = {14},
 number       = {15-16},
 pages        = {1261--1276},
 url          = {http://arxiv.org/abs/1308.4134},
)
@unpublished(CH161,
 author       = {Mark Howard and Earl T. Campbell},
 year         = {2016},
 title        = {A unified framework for magic state distillation and multi-qubit gate-synthesis with reduced resource cost},
 url          = {http://arxiv.org/abs/1606.01904},
)
@article(KMM-exact,
 author       = {Vadym Kliuchnikov and Dmitri Maslov and Michele Mosca},
 year         = {2013},
 title        = {Fast and efficient exact synthesis of single qubit unitaries generated by {Clifford} and {T} gates},
 journal      = {Quantum Information {\&} Computation},
 volume       = {13},
 number       = {7--8},
 pages        = {607--630},
 url          = {http://arxiv.org/abs/1206.5236v4},
)
@article(Laf,
 author       = {Yves Lafont},
 year         = {2003},
 title        = {Towards an Algebraic Theory of Boolean Circuits},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {184},
 number       = {2-3},
 pages        = {257--310},
 doi          = {10.1016/S0022-4049(03)00069-0},
 url          = {http://iml.univ-mrs.fr/~lafont/pub/circuits.pdf},
)
@book(Mac,
 author       = {S.M. Lane},
 year         = {1998},
 title        = {Categories for the Working Mathematician},
 series       = {Graduate Texts in Mathematics},
 publisher    = {Springer},
 address      = {New York, NY, USA},
)
@unpublished(MA08,
 author       = {Ken Matsumoto and Kazuyuki Amano},
 year         = {2008},
 title        = {Representation of Quantum Circuits with {Clifford} and $\pi$/8 Gates},
 url          = {http://arxiv.org/abs/0806.3834},
)
@book(NC,
 author       = {Michael A. Nielsen and Isaac L. Chuang},
 year         = {2002},
 title        = {Quantum Computation and Quantum Information},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
)
@book(OD14,
 author       = {Ryan O'Donnell},
 year         = {2014},
 title        = {Analysis of Boolean Functions},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9781139814782},
)
@article(RS16,
 author       = {Neil J. Ross and Peter Selinger},
 year         = {2016},
 title        = {Optimal ancilla-free {Clifford+T} approximation of \emph{z}-rotations},
 journal      = {Quantum Information {\&} Computation},
 volume       = {16},
 number       = {11{\&}12},
 pages        = {901--953},
 url          = {http://arxiv.org/abs/1403.2975},
)
@incollection(Sel2009,
 author       = {Peter Selinger},
 year         = {2011},
 title        = {A Survey of Graphical Languages for Monoidal Categories},
 editor       = {Bob Coecke},
 booktitle    = {New Structures for Physics},
 series       = {Lecture Notes in Physics},
 volume       = {813},
 publisher    = {Springer},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9_4},
 url          = {http://arxiv.org/abs/0908.3347},
)
@article(Sel,
 author       = {Peter Selinger},
 year         = {2015},
 title        = {Generators and Relations for n-Qubit {C}lifford Operators},
 journal      = {Logical Methods in Computer Science},
 volume       = {11},
 number       = {10},
 pages        = {1--17},
 url          = {http://arxiv.org/abs/1310.6813v3},
)