\backcite {Self}{{1}{}{Doc-Start}} \backcite {AudouxMeilhan:PeripheralSystems}{{2}{1}{section.1}} \backcite {Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{2}{1}{section.1}} \backcite {AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{2}{2.1}{equation.2.1}} \backcite {AudouxMeilhan:PeripheralSystems}{{2}{2.1}{equation.2.1}} \backcite {BirmanBrendle:BraidsSurvey}{{7}{2}{figure.caption.7}} \backcite {Kauffman:VirtualKnotTheory, Kauffman:RotationalVirtualKnots, Manturov:VirtualKnots}{{9}{4}{section.4}} \backcite {Talk:GvI}{{9}{4}{figure.caption.10}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{4}{figure.caption.10}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{4.1}{equation.4.1}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{4.2}{equation.4.2}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{4.3}{equation.4.3}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{4.4}{equation.4.4}} \backcite {GodelleParis:WordProblems}{{10}{5}{equation.4.2}} \backcite {Bergman:Diamond, Sapir:CombinatorialAlgebra, Smolka:Confluence}{{14}{4}{Item.3}} \backcite {Newman:DiamondLemma}{{14}{4.16}{equation.4.16}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{19}{5.1}{equation.5.1}} \backcite {Artin:TheoryOfBraids}{{20}{5.4}{equation.5.4}} \backcite {AudoxBellingeriMeilhanWagner:UVWHomotopy}{{20}{5.4}{equation.5.4}} \backcite {Bar-Natan:glN}{{20}{5}{equation.5.5}} \backcite {Kauffman:RotationalVirtualKnots}{{21}{5.7}{equation.5.7}} \backcite {Woronowicz:Solutions, MurakamiVanDerVeen:Quantized}{{21}{5.8}{equation.5.8}} \backcite {Wolfram:Mathematica}{{22}{6}{section.6}} \backcite {Self}{{22}{6}{section.6}} \backcite {Self}{{27}{6.2}{subsection.6.2}} \backcite {Self}{{27}{6.2}{subsection.6.2}} \backcite {Epstein:WordProcessing}{{27}{6.3}{subsection.6.3}} \backcite {Bar-NatanMorrison:KnotTheory}{{27}{6.3}{subsection.6.3}} \backcite {Self}{{28}{6.3}{subsection.6.3}} \backcite {Self}{{31}{6.5}{subsection.6.5}} \backcite {Talk:OU}{{32}{7.1}{subsection.7.1}} \backcite {ThurstonD:Sutured}{{32}{7.1}{subsection.7.1}} \backcite {Milnor:LinkGroups}{{32}{7.2}{subsection.7.2}} \backcite {AudouxMeilhan:PeripheralSystems}{{32}{7.2}{subsection.7.2}} \backcite {AudouxMeilhan:PeripheralSystems}{{32}{7.2}{subsection.7.2}} \backcite {AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{32}{7.2}{subsection.7.2}} \backcite {KBH}{{32}{7.2}{subsection.7.2}} \backcite {KBH}{{32}{7.2}{subsection.7.2}} \backcite {WKO2, WKO3, WKO4}{{32}{7.2}{subsection.7.2}} \backcite {WKO4}{{33}{7.2}{subsection.7.2}} \backcite {Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{33}{7.2}{subsection.7.2}} \backcite {Enriquez:QuantizationFunctors}{{33}{7.2}{subsection.7.2}} \backcite {WKO2}{{33}{7.2}{subsection.7.2}} \backcite {Caen, MasterClass}{{33}{7.2}{subsection.7.2}} \backcite {WKO1}{{33}{7.2}{subsection.7.2}} \backcite {EtingofKazhdan:BialgebrasI, Severa:BialgebrasRevisited}{{33}{7.2}{subsection.7.2}}