@article(Ross-Glaudell-Amy,
 author       = {Matthew Amy and Andrew N. Glaudell and Neil J. Ross},
 year         = {2020},
 title        = {Number-theoretic characterizations of some restricted {Clifford+$T$} circuits},
 journal      = {Quantum},
 volume       = {4},
 pages        = {252},
 doi          = {10.22331/q-2020-04-06-252},
 note         = {Also available from \href{http://arxiv.org/abs/1908.06076}{arXiv:1908.06076}},
)
@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         = {{Also available from \href{http://arxiv.org/abs/1601.07363}{arXiv:1601.07363}}},
)
@inproceedings(debeaudrap2020fast,
 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},
 note         = {Also available from \href{http://arxiv.org/abs/2004.05164}{arXiv:2004.05164}},
)
@inproceedings(de_Beaudrap_2020,
 author       = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang},
 year         = {2020},
 title        = {Techniques to reduce $\pi/4$-parity-phase circuits, motivated by the {ZX} calculus},
 booktitle    = {Proceedings of the 16th International Conference on Quantum Physics and Logic, QPL 2019},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {318},
 pages        = {131\IeC{\textendash}149},
 doi          = {10.4204/eptcs.318.9},
 note         = {Also available from \href{http://arxiv.org/abs/1911.09039}{arXiv:1911.09039}},
)
@article(Giles-Selinger,
 author       = {Brett Giles and Peter Selinger},
 year         = {2013},
 title        = {Exact synthesis of multiqubit {Clifford+$T$} circuits},
 journal      = {Physical Review A},
 volume       = {87},
 pages        = {032332 (7 pages)},
 doi          = {10.1103/PhysRevA.87.032332},
 note         = {Also available from \href{http://arxiv.org/abs/1212.0506}{arXiv:1212.0506}},
)
@phdthesis(Greylyn,
 author       = {Seth E. M. Greylyn},
 year         = {2014},
 title        = {Generators and relations for the group {$U_4(\mathbb{Z}[\frac{1}{\sqrt{2}},i])$}},
 type         = {{M.Sc.\spacefactor\@m {} thesis}},
 school       = {Dalhousie University},
 note         = {Available from \href{http://arxiv.org/abs/1408.6204}{arXiv:1408.6204}},
)
@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.1088/2058-9565/aad604},
 note         = {Also available from {http://arxiv.org/abs/1712.01557}{arXiv:1712.01557}},
)
@book(ant-book,
 author       = {Kenneth Ireland and Michael Rosen},
 year         = {1982},
 title        = {A Classical Introduction to Modern Number Theory},
 series       = {Graduate Texts in Mathematics 84},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-2103-4},
)
@article(Kissinger-Wetering,
 author       = {Aleks Kissinger and John van de Wetering},
 year         = {2020},
 title        = {Reducing the number of non-{Clifford} gates in quantum circuits},
 journal      = {Phys. Rev. A},
 volume       = {102},
 pages        = {022406},
 doi          = {10.1103/PhysRevA.102.022406},
)
@inproceedings(Li-Ross-Selinger,
 author       = {Sarah Meng Li and Neil J. Ross and Peter Selinger},
 year         = {2021},
 title        = {Generators and relations for the group {$O_n({\mathbb Z}[1/2])$}},
 booktitle    = {Proceedings of the 18th International Conference on Quantum Physics and Logic, QPL 2021},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 note         = {Also available from {http://arxiv.org/abs/2106.01175}{arXiv:2106.01175}},
)
@article(Nam_2018,
 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},
 doi          = {10.1038/s41534-018-0072-4},
 note         = {Also available from {http://arxiv.org/abs/1710.07345}{arXiv:1710.07345}},
)
@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         = {{Available from {http://arxiv.org/abs/1903.12456}{arXiv:1903.12456}}},
)