@book(agresti2013categorical,
 author       = "Alan Agresti",
 year         = "2013",
 title        = "Categorical data analysis",
 publisher    = "Wiley",
)
@inproceedings(babai1983canonical,
 author       = "L{\'a}szl{\'o} Babai and Eugene M Luks",
 year         = "1983",
 title        = "Canonical labeling of graphs",
 booktitle    = "Proceedings of the fifteenth annual ACM symposium on Theory of computing",
 organization = "ACM",
 pages        = "171--183",
 doi          = "10.1145/800061.808746",
)
@book(bachmann2007singular,
 author       = "Olaf Bachmann and Gert-Martin Greuel and C Lossen and Gerhard Pfister and Hans Sch{\"o}nemann",
 year         = "2007",
 title        = "A Singular introduction to commutative algebra",
 publisher    = "Springer",
)
@article(coecke2011interacting,
 author       = "Bob Coecke and Ross Duncan",
 year         = "2011",
 title        = "Interacting quantum observables: categorical algebra and diagrammatics",
 journal      = "New Journal of Physics",
 volume       = "13",
 number       = "4",
 pages        = "043016",
 doi          = "10.1145/800061.808746",
)
@article(coecke2008new,
 author       = "Bob Coecke and Dusko Pavlovic and Jamie Vicary",
 year         = "2013",
 title        = "A new description of orthogonal bases",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "23",
 pages        = "555--567",
 doi          = "10.1017/S0960129512000047",
)
@article(critch2012polynomial,
 author       = "Andrew Critch and Jason Morton",
 year         = "2014",
 title        = "Algebraic geometry of matrix product states",
 journal      = "SIGMA",
 volume       = "10",
 pages        = "095",
 doi          = "10.3842/SIGMA.2014.095",
)
@article(dixon2013open,
 author       = "Lucas Dixon and Aleks Kissinger",
 year         = "2013",
 title        = "Open-graphs and monoidal theories",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "23",
 number       = "02",
 pages        = "308--359",
 doi          = "10.1017/S0960129512000138",
)
@inproceedings(furer1983normal,
 author       = "Martin F{\"u}rer and Walter Schnyder and Ernst Specker",
 year         = "1983",
 title        = "Normal forms for trivalent graphs and graphs of bounded valence",
 booktitle    = "Proceedings of the fifteenth annual ACM symposium on Theory of computing",
 organization = "ACM",
 pages        = "161--170",
 doi          = "10.1145/800061.808745",
)
@article(halin1976s,
 author       = "Rudolf Halin",
 year         = "1976",
 title        = "S-functions for graphs",
 journal      = "Journal of Geometry",
 volume       = "8",
 number       = "1-2",
 pages        = "171--186",
 doi          = "10.1007/BF01917434",
)
@incollection(hasegawa2008finite,
 author       = "Masahito Hasegawa and Martin Hofmann and Gordon Plotkin",
 year         = "2008",
 title        = "Finite dimensional vector spaces are complete for traced symmetric monoidal categories",
 booktitle    = "Pillars of computer science",
 publisher    = "Springer",
 pages        = "367--385",
 doi          = "10.1007/978-3-540-78127-1-20",
)
@article(kelly1980coherence,
 author       = "Gregory M Kelly and Miguel L Laplaza",
 year         = "1980",
 title        = "Coherence for compact closed categories",
 journal      = "Journal of Pure and Applied Algebra",
 volume       = "19",
 pages        = "193--213",
 doi          = "10.1016/0022-4049(80)90101-2",
)
@article(kissinger2011quantomatic,
 author       = "A. Kissinger and A. Merry and B. Frot and B. Coecke and D. Quick and L. Dixon and M. Soloviev and R. Duncan and V. Zamdzhiev",
 year         = "2014",
 title        = "Quantomatic",
 journal      = "Software available on-line at http://sites. google. com/site/quantomatic/",
)
@article(kissinger2012pictures,
 author       = "Aleks Kissinger",
 year         = "2012",
 title        = "Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing",
 journal      = "arXiv preprint arXiv:1203.0202",
)
@article(kschischang2001factor,
 author       = "Frank R Kschischang and Brendan J Frey and H-A Loeliger",
 year         = "2001",
 title        = "Factor graphs and the sum-product algorithm",
 journal      = "Information Theory, IEEE Transactions on",
 volume       = "47",
 number       = "2",
 pages        = "498--519",
 doi          = "10.1109/18.910572",
)
@book(maclane1998categories,
 author       = "Saunders Mac Lane",
 year         = "1998",
 title        = "Categories for the working mathematician",
 volume       = "5",
 publisher    = "Springer verlag",
)
@article(lauritzen1988local,
 author       = "Steffen L Lauritzen and David J Spiegelhalter",
 year         = "1988",
 title        = "Local computations with probabilities on graphical structures and their application to expert systems",
 journal      = "Journal of the Royal Statistical Society. Series B (Methodological)",
 pages        = "157--224",
)
@article(luks1982isomorphism,
 author       = "Eugene M Luks",
 year         = "1982",
 title        = "Isomorphism of graphs of bounded valence can be tested in polynomial time",
 journal      = "Journal of Computer and System Sciences",
 volume       = "25",
 number       = "1",
 pages        = "42--65",
 doi          = "10.1016/0022-0000(82)90009-5",
)
@article(maneva2007new,
 author       = "Elitza Maneva and Elchanan Mossel and Martin J Wainwright",
 year         = "2007",
 title        = "A new look at survey propagation and its generalizations",
 journal      = "Journal of the ACM (JACM)",
 volume       = "54",
 number       = "4",
 pages        = "17",
 doi          = "10.1145/1255443.1255445",
)
@article(markov2008simulating,
 author       = "Igor L Markov and Yaoyun Shi",
 year         = "2008",
 title        = "Simulating quantum computation by contracting tensor networks",
 journal      = "SIAM Journal on Computing",
 volume       = "38",
 number       = "3",
 pages        = "963--981",
 doi          = "10.1137/050644756",
)
@article(mceliece1998turbo,
 author       = "Robert J. McEliece and David J. C. MacKay and Jung-Fu Cheng",
 year         = "1998",
 title        = "Turbo decoding as an instance of {P}earl's “belief propagation” algorithm",
 journal      = "Selected Areas in Communications, IEEE Journal on",
 volume       = "16",
 number       = "2",
 pages        = "140--152",
 doi          = "10.1109/49.661103",
)
@article(mena2012trivalent,
 author       = "Adria Alcala Mena",
 year         = "2012",
 title        = "Trivalent Graph isomorphism in polynomial time",
 journal      = "arXiv preprint arXiv:1209.1040",
)
@book(mezard2009information,
 author       = "Marc Mezard and Andrea Montanari",
 year         = "2009",
 title        = "Information, physics, and computation",
 publisher    = "Oxford University Press",
 doi          = "10.1093/acprof:oso/9780198570837.001.0001",
)
@misc(mimramtowards,
 author       = "Samuel Mimram",
 year         = "2014",
 title        = "Towards 3-dimensional rewriting theory",
 howpublished = "\url {http://www.pps.univ-paris-diderot.fr/~smimram/docs/mimram_3drt.pdf}",
)
@article(morton2012undecidability,
 author       = "Jason Morton and Jacob Biamonte",
 year         = "2012",
 title        = "Undecidability in tensor network states",
 journal      = "Physical Review A",
 volume       = "86",
 number       = "3",
 pages        = "030301",
 doi          = "10.1103/PhysRevA.86.030301",
)
@article(morton2013generalized,
 author       = "Jason Morton and Jacob Turner",
 year         = "2015",
 title        = "Generalized counting constraint satisfaction problems with determinantal circuits",
 journal      = "Linear Algebra and its Applications",
 volume       = "466",
 pages        = "357 -- 381",
 doi          = "10.1016/j.laa.2014.09.050",
)
@inproceedings(pearl1982reverend,
 author       = "Judea Pearl",
 year         = "1982",
 title        = "Reverend Bayes on inference engines: A distributed hierarchical approach",
 booktitle    = "AAAI",
 pages        = "133--136",
)
@incollection(selinger2009survey,
 author       = "P. 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 Berlin Heidelberg",
 pages        = "289--355",
 doi          = "10.1007/978-3-642-12821-9\_4",
)
@article(selinger2011finite,
 author       = "Peter Selinger",
 year         = "2011",
 title        = "Finite dimensional Hilbert spaces are complete for dagger compact closed categories",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "270",
 number       = "1",
 pages        = "113--119",
 doi          = "10.1016/j.entcs.2011.01.010",
)
@article(spivak2012functorial,
 author       = "David I Spivak",
 year         = "2012",
 title        = "Functorial data migration",
 journal      = "Information and Computation",
 volume       = "217",
 pages        = "31--51",
 doi          = "10.1016/j.ic.2012.05.001",
)
@article(PhysRevLett.69.2863,
 author       = "Steven R. White",
 year         = "1992",
 title        = "Density matrix formulation for quantum renormalization groups",
 journal      = "Phys. Rev. Lett.",
 volume       = "69",
 pages        = "2863--2866",
 doi          = "10.1103/PhysRevLett.69.2863",
)