\backcite {Self}{{1}{(document)}{Doc-Start}}
\backcite {AudouxMeilhan:PeripheralSystems}{{2}{1}{figure.1}}
\backcite {Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{2}{1}{figure.1}}
\backcite {AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{3}{2.1}{theorem.2.1}}
\backcite {AudouxMeilhan:PeripheralSystems}{{3}{2.1}{theorem.2.1}}
\backcite {BirmanBrendle:BraidsSurvey}{{9}{b}{figure.6}}
\backcite {Kauffman:VirtualKnotTheory, Kauffman:RotationalVirtualKnots, Manturov:VirtualKnots}{{10}{4}{section.4}}
\backcite {Talk:GvI}{{11}{d}{figure.9}}
\backcite {Chterental:VBandVCD, Chterental:Thesis}{{12}{4}{figure.9}}
\backcite {Chterental:VBandVCD, Chterental:Thesis}{{12}{4.1}{theorem.4.1}}
\backcite {Chterental:VBandVCD, Chterental:Thesis}{{12}{4.2}{theorem.4.2}}
\backcite {Chterental:VBandVCD, Chterental:Thesis}{{12}{4.3}{theorem.4.3}}
\backcite {Chterental:VBandVCD, Chterental:Thesis}{{12}{4.4}{theorem.4.4}}
\backcite {GodelleParis:WordProblems, BellingeriCisnerosParis:WordProblem}{{12}{e}{theorem.4.2}}
\backcite {Bergman:Diamond, Sapir:CombinatorialAlgebra, Smolka:Confluence}{{16}{4}{Item.3}}
\backcite {Newman:DiamondLemma}{{17}{4.12}{theorem.4.12}}
\backcite {Chterental:VBandVCD, Chterental:Thesis}{{22}{5.1}{equation.5.1}}
\backcite {Artin:TheoryOfBraids}{{24}{5.3}{theorem.5.3}}
\backcite {AudoxBellingeriMeilhanWagner:UVWHomotopy}{{24}{5.3}{theorem.5.3}}
\backcite {Bar-Natan:glN}{{24}{5}{conjecture.5.1}}
\backcite {Kauffman:RotationalVirtualKnots}{{25}{5.4}{theorem.5.4}}
\backcite {Woronowicz:Solutions, MurakamiVanDerVeen:Quantized}{{25}{5.5}{theorem.5.5}}
\backcite {Wolfram:Mathematica}{{27}{6}{section.6}}
\backcite {Self}{{27}{6}{section.6}}
\backcite {Self}{{32}{6.2}{subsection.6.2}}
\backcite {Self}{{32}{6.2}{subsection.6.2}}
\backcite {Epstein:WordProcessing}{{32}{6.3}{subsection.6.3}}
\backcite {Bar-NatanMorrison:KnotTheory}{{32}{6.3}{subsection.6.3}}
\backcite {Self}{{33}{6.3}{subsection.6.3}}
\backcite {Self}{{37}{6.5}{subsection.6.5}}
\backcite {Talk:OU}{{38}{7.1}{subsection.7.1}}
\backcite {ThurstonD:Sutured}{{38}{7.1}{subsection.7.1}}
\backcite {Milnor:LinkGroups}{{38}{7.2}{subsection.7.2}}
\backcite {AudouxMeilhan:PeripheralSystems}{{39}{7.2}{subsection.7.2}}
\backcite {AudouxMeilhan:PeripheralSystems}{{39}{7.2}{subsection.7.2}}
\backcite {AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{39}{7.2}{subsection.7.2}}
\backcite {KBH}{{39}{7.2}{subsection.7.2}}
\backcite {KBH}{{39}{7.2}{subsection.7.2}}
\backcite {WKO2, WKO3, WKO4}{{39}{7.2}{subsection.7.2}}
\backcite {WKO4}{{39}{7.2}{subsection.7.2}}
\backcite {Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{39}{7.2}{subsection.7.2}}
\backcite {Enriquez:QuantizationFunctors}{{39}{7.2}{subsection.7.2}}
\backcite {WKO2}{{39}{7.2}{subsection.7.2}}
\backcite {Caen, MasterClass}{{39}{7.2}{subsection.7.2}}
\backcite {WKO1}{{39}{7.2}{subsection.7.2}}
\backcite {EtingofKazhdan:BialgebrasI, Severa:BialgebrasRevisited}{{39}{7.2}{subsection.7.2}}