@article(artin1947theory,
 author       = {Emil Artin},
 year         = {1947},
 title        = {Theory of Braids},
 journal      = {Ann. of Math},
 volume       = {48},
 number       = {2},
 pages        = {101--126},
 doi          = {10.2307/1969218},
)
@incollection(boone1968recursively,
 author       = {W. W. Boone and W. Haken and V. Po{\'e}naru},
 year         = {1968},
 title        = {On {{Recursively Unsolvable Problems}} in {{Topology}} and {{Their Classification}}},
 editor       = {H. Arnold Schmidt and K. Sch{\"u}tte and H. J. Thiele},
 booktitle    = {Studies in {{Logic}} and the {{Foundations}} of {{Mathematics}}},
 series       = {Contributions to {{Mathematical Logic}}},
 volume       = {50},
 publisher    = {{Elsevier}},
 pages        = {37--74},
 doi          = {10.1016/S0049-237X(08)70518-4},
)
@article(Dehn1910,
 author       = {M. Dehn},
 year         = {1910},
 title        = {\"Uber Die Topologie Des Dreidimensionalen Raumes. (Mit 16 Figuren Im Text)},
 journal      = {Mathematische Annalen},
 volume       = {69},
 pages        = {137--168},
 doi          = {10.1007/BF01455155},
)
@article(dehornoy2007efficient,
 author       = {Patrick Dehornoy},
 year         = {2007},
 title        = {Efficient Solutions to the Braid Isotopy Problem},
 journal      = {arXiv:math/0703666},
 doi          = {10.1016/j.dam.2007.12.009},
 eprint       = {math/0703666},
)
@article(delpeuch2020word,
 author       = {Antonin Delpeuch},
 year         = {2020},
 title        = {The Word Problem for Double Categories},
 journal      = {Theory and Applications of Categories},
 volume       = {35},
 pages        = {1--18},
 eprint       = {1907.09927},
)
@article(delpeuch2018normalization-1,
 author       = {Antonin Delpeuch and Jamie Vicary},
 year         = {2018},
 title        = {Normalization for Planar String Diagrams and a Quadratic Equivalence Algorithm},
 journal      = {to appear in Logical Methods in Computer Science},
 eprint       = {1804.07832},
)
@article(freyd1989braided,
 author       = {Peter J Freyd and David N Yetter},
 year         = {1989},
 title        = {Braided Compact Closed Categories with Applications to Low Dimensional Topology},
 journal      = {Advances in Mathematics},
 volume       = {77},
 number       = {2},
 pages        = {156--182},
 doi          = {10.1016/0001-8708(89)90018-2},
)
@article(gurski2011periodic,
 author       = {Nick Gurski and Eugenia Cheng},
 year         = {2011},
 title        = {The Periodic Table of N-Categories {{II}}: Degenerate Tricategories},
 journal      = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
 volume       = {52},
 number       = {2},
 pages        = {45},
)
@article(haken1961theorie,
 author       = {W. Haken},
 year         = {1961},
 title        = {Theorie Der {{Normalfl\"achen}}},
 journal      = {Acta Math.},
 volume       = {105},
 pages        = {245--375},
 doi          = {10.1007/BF02559591},
)
@article(jang2019stabilization,
 author       = {Yeonhee Jang and Tsuyoshi Kobayashi and Makoto Ozawa and Kazuto Takao},
 year         = {2019},
 title        = {Stabilization of Bridge Decompositions of Knots and Bridge Positions of Knot Types ({{The}} Theory of Transformation Groups and Its Applications)},
 journal      = {RIMS Kokyuroku},
 volume       = {2135},
 pages        = {23--28},
)
@article(joyal1986braided,
 author       = {Andr{\'e} Joyal and Ross Street},
 year         = {1986},
 title        = {Braided Monoidal Categories},
 journal      = {Mathematics Reports},
 volume       = {86008},
)
@article(joyal1991geometry,
 author       = {Andr{\'e} Joyal and Ross Street},
 year         = {1991},
 title        = {The Geometry of Tensor Calculus, {{I}}},
 journal      = {Advances in Mathematics},
 volume       = {88},
 number       = {1},
 pages        = {55--112},
 doi          = {10.1016/0001-8708(91)90003-p},
)
@article(joyal1993braided,
 author       = {Andr{\'e} Joyal and Ross Street},
 year         = {1993},
 title        = {Braided Tensor Categories},
 journal      = {Advances in Mathematics},
 volume       = {102},
 number       = {1},
 pages        = {20--78},
 doi          = {10.1006/aima.1993.1055},
)
@article(lackenby2015polynomial,
 author       = {Marc Lackenby},
 year         = {2015},
 title        = {A Polynomial Upper Bound on {{Reidemeister}} Moves},
 journal      = {Annals of Mathematics},
 pages        = {491--564},
 doi          = {10.4007/annals.2015.182.2.3},
)
@article(lackenby2019efficient,
 author       = {Marc Lackenby},
 year         = {2019},
 title        = {The Efficient Certification of Knottedness and {{Thurston}} Norm},
 journal      = {arXiv:1604.00290 [math]},
 eprint       = {1604.00290},
)
@unpublished(makkai2005word,
 author       = {M. Makkai},
 year         = {2005},
 title        = {The Word Problem for Computads},
)
@article(markov1958insolubility,
 author       = {A. Markov},
 year         = {1958},
 title        = {{The insolubility of the problem of homeomorphy}},
 journal      = {Doklady Akademii Nauk SSSR},
 volume       = {121},
 pages        = {218--220},
)
@article(otal1982presentations,
 author       = {Jean-Pierre Otal},
 year         = {1982},
 title        = {{Pr\'esentations en ponts du n\oe ud trivial}},
 journal      = {C. R. Acad. Sci., Paris, S\'er. I},
 volume       = {294},
 pages        = {553--556},
)
@incollection(selinger2010survey,
 author       = {P. Selinger},
 year         = {2010},
 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(trace1983reidemeister,
 author       = {Bruce Trace},
 year         = {1983},
 title        = {On the {{Reidemeister}} Moves of a Classical Knot},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {89},
 number       = {4},
 pages        = {722--724},
 doi          = {10.1090/S0002-9939-1983-0719004-4},
)