@misc(aharonov2003hadamardtoffoli,
 author       = {Dorit Aharonov},
 year         = {2003},
 title        = {A simple proof that Toffoli and Hadamard are quantum universal},
 note         = {{arXiv:quant-ph/0301040}},
)
@article(moscamatroid,
 author       = {M. Amy and D. Maslov and M. 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(MeetInMiddle,
 author       = {M. Amy and D. Maslov and M. Mosca and M. 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},
)
@misc(AmyMoscaReedMuller,
 author       = {M. {Amy} and M. {Mosca}},
 year         = {2016},
 title        = {{T-count optimization and Reed-Muller codes}},
 note         = {arXiv:1601.07363},
)
@unpublished(Niel2018,
 author       = {Niel de Beaudrap},
 title        = {A toy theory of tensor networks for exact quantum algorithms},
 note         = {To appear},
)
@inproceedings(CD1,
 author       = {B. Coecke and R. Duncan},
 year         = {2008},
 title        = {Interacting quantum observables},
 booktitle    = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)},
 series       = {Lecture Notes in Computer Science},
 doi          = {10.1007/978-3-540-70583-3_25},
)
@article(CD2,
 author       = {B. Coecke and R. Duncan},
 year         = {2011},
 title        = {Interacting quantum observables: categorical algebra and diagrammatics},
 journal      = {New Journal of Physics},
 volume       = {13},
 pages        = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
 note         = {arXiv:quant-ph/09064725},
)
@book(CKbook,
 author       = {B. Coecke and A. Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(DiagHierarchy,
 author       = {Shawn X. Cui and Daniel Gottesman and Anirudh Krishna},
 year         = {2017},
 title        = {Diagonal gates in the Clifford hierarchy},
 journal      = {Phys. Rev. A},
 volume       = {95},
 pages        = {012329},
 doi          = {10.1103/PhysRevA.95.012329},
)
@article(DP1,
 author       = {R. Duncan and S. Perdrix},
 year         = {2009},
 title        = {Graph states and the necessity of {E}uler decomposition},
 journal      = {Mathematical Theory and Computational Practice},
 pages        = {167--177},
 doi          = {10.1007/978-3-642-03073-4_18},
)
@conference(DP2,
 author       = {R. Duncan and S. Perdrix},
 year         = {2010},
 title        = {{Rewriting measurement-based quantum computations with generalised flow}},
 booktitle    = {Proceedings of {ICALP}},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {285--296},
 doi          = {10.1007/978-3-642-14162-1_24},
)
@incollection(RossMBQC,
 author       = {Ross Duncan},
 year         = {2013},
 title        = {A graphical approach to measurement-based quantum computing},
 editor       = {Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette},
 booktitle    = {Quantum Physics and Linguistics},
 publisher    = {OUP},
 doi          = {10.1093/acprof:oso/9780199646296.003.0003},
 note         = {{arXiv:1203.6242 [quant-ph]}},
)
@article(gachechiladze2016extreme,
 author       = {Mariami Gachechiladze and Costantino Budroni and Otfried G{\"u}hne},
 year         = {2016},
 title        = {Extreme violation of local realism in quantum hypergraph states},
 journal      = {Physical Review Letters},
 volume       = {116},
 number       = {7},
 pages        = {070401},
 doi          = {10.1103/PhysRevLett.116.070401},
)
@phdthesis(hadzihasanovic2017thesis,
 author       = {Amar Hadzihasanovic},
 title        = {The algebra of entanglement and the geometry of composition},
 type         = {{PhD} thesis},
 school       = {University of Oxford},
)
@article(campbelltcount,
 author       = {Luke E Heyfron and Earl T Campbell},
 year         = {2018},
 title        = {An efficient quantum compiler that reduces \textit{{T}} count},
 journal      = {Quantum Science and Technology},
 volume       = {4},
 number       = {1},
 pages        = {015004},
 doi          = {10.1088/2058-9565/aad604},
)
@inproceedings(LoriaCompleteness,
 author       = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2018},
 title        = {A {Complete} {Axiomatisation} of the {ZX}-{Calculus} for {Clifford}+{T} {Quantum} {Mechanics}},
 booktitle    = {Proceedings of the 33rd {Annual} {ACM}/{IEEE} {Symposium} on {Logic} in {Computer} {Science}},
 series       = {{LICS} '18},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {559--568},
 doi          = {10.1145/3209108.3209131},
)
@article(jeandel2018y-calculus,
 author       = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2018},
 title        = {Y-{Calculus}: {A} {Language} for {Real} {Matrices} {Derived} from the {ZX}-{Calculus}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {266},
 pages        = {23--57},
 doi          = {10.4204/EPTCS.266.2},
 note         = {Version 1 at arXiv:1702.00934v1},
)
@article(kissinger2014pattern,
 author       = {Aleks Kissinger and Alex Merry and Matvey Soloviev},
 year         = {2014},
 title        = {Pattern graph rewrite systems},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {143},
 pages        = {54--66},
 doi          = {10.4204/EPTCS.143.5},
)
@inproceedings(quanto-cade,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {Quantomatic: A proof assistant for diagrammatic reasoning},
 booktitle    = {International Conference on Automated Deduction},
 organization = {Springer},
 pages        = {326--336},
 doi          = {10.1007/978-3-319-21401-6_22},
)
@article(HyperSPTO,
 author       = {Jacob Miller and Akimasa Miyake},
 year         = {2016},
 title        = {Hierarchy of universal entanglement in 2D measurement-based quantum computation},
 journal      = {Npj Quantum Information},
 volume       = {12},
 number       = {16036},
 doi          = {10.1038/npjqi.2016.36},
)
@article(OxfordCompleteness,
 author       = {Kang Feng Ng and Quanlong Wang},
 year         = {2017},
 title        = {A universal completion of the ZX-calculus},
)
@article(MBQC2,
 author       = {R. Raussendorf and D.E. Browne and H.J. Briegel},
 year         = {2003},
 title        = {Measurement-based quantum computation on cluster states},
 journal      = {Physical Review A},
 volume       = {68},
 number       = {2},
 pages        = {22312},
 doi          = {10.1103/PhysRevA.68.022312},
)
@article(HyperGrover,
 author       = {M Rossi and Bru{\ss}, D and C Macchiavello},
 year         = {2014},
 title        = {Hypergraph states in Grover's quantum search algorithm},
 journal      = {Physica Scripta},
 volume       = {2014},
 number       = {T160},
 pages        = {014036},
 doi          = {10.1088/0031-8949/2014/T160/014036},
)
@article(rossi2013hypergraph,
 author       = {Matteo Rossi and M Huber and Bru{\ss}, D and C Macchiavello},
 year         = {2013},
 title        = {Quantum hypergraph states},
 journal      = {New Journal of Physics},
 volume       = {15},
 number       = {11},
 pages        = {113022},
 doi          = {10.1088/1367-2630/15/11/113022},
)
@article(SelingerCPM,
 author       = {P. Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(ShiToffoli,
 author       = {Yaoyun Shi},
 year         = {2003},
 title        = {Both Toffoli and controlled-NOT Need Little Help to Do Universal Quantum Computing},
 journal      = {Quantum Info. Comput.},
 volume       = {3},
 number       = {1},
 pages        = {84--92},
)