\backcite {Self}{{1}{1}{Doc-Start}} \backcite {AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{2}{2}{equation.1.3}} \backcite {BirmanBrendle:BraidsSurvey}{{7}{4}{figure.caption.7}} \backcite {Kauffman:VirtualKnotTheory, Kauffman:RotationalVirtualKnots, Manturov:VirtualKnots}{{8}{2.2}{subsection.2.2}} \backcite {Talk:GvI}{{9}{6}{figure.caption.10}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{2.2}{figure.caption.10}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{2.11}{equation.2.11}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{2.12}{equation.2.12}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{2.13}{equation.2.13}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{10}{2.14}{equation.2.14}} \backcite {GodelleParis:WordProblems}{{10}{7}{equation.2.12}} \backcite {Bergman:Diamond, Sapir:CombinatorialAlgebra, Smolka:Confluence}{{13}{2.2}{Item.3}} \backcite {Newman:DiamondLemma}{{14}{2.26}{equation.2.26}} \backcite {Chterental:VBandVCD, Chterental:Thesis}{{18}{2.32}{equation.2.32}} \backcite {Artin:TheoryOfBraids}{{20}{2.35}{equation.2.35}} \backcite {AudoxBellingeriMeilhanWagner:UVWHomotopy}{{20}{2.35}{equation.2.35}} \backcite {Bar-Natan:glN}{{20}{2.3}{equation.2.36}} \backcite {Kauffman:RotationalVirtualKnots}{{20}{2.38}{equation.2.38}} \backcite {Woronowicz:Solutions, MurakamiVanDerVeen:Quantized}{{20}{2.39}{equation.2.39}} \backcite {Wolfram:Mathematica}{{22}{3}{section.3}} \backcite {Self}{{22}{3}{section.3}} \backcite {Self}{{26}{3.2}{subsection.3.2}} \backcite {Self}{{26}{3.2}{subsection.3.2}} \backcite {Epstein:WordProcessing}{{26}{3.3}{subsection.3.3}} \backcite {Bar-NatanMorrison:KnotTheory}{{26}{3.3}{subsection.3.3}} \backcite {Self}{{27}{3.3}{subsection.3.3}} \backcite {Self}{{30}{3.5}{subsection.3.5}} \backcite {Talk:OU}{{31}{4.1}{subsection.4.1}} \backcite {ThurstonD:Sutured}{{31}{4.1}{subsection.4.1}} \backcite {Milnor:LinkGroups}{{31}{4.2}{subsection.4.2}} \backcite {AudouxMeilhan:PeripheralSystems}{{31}{4.2}{subsection.4.2}} \backcite {AudouxMeilhan:PeripheralSystems}{{31}{4.2}{subsection.4.2}} \backcite {AudoxBellingeriMeilhanWagner:WeldedStringLinks}{{31}{4.2}{subsection.4.2}} \backcite {KBH}{{31}{4.2}{subsection.4.2}} \backcite {KBH}{{31}{4.2}{subsection.4.2}} \backcite {WKO2, WKO3, WKO4}{{31}{4.2}{subsection.4.2}} \backcite {WKO4}{{32}{4.2}{subsection.4.2}} \backcite {Enriquez:UniversalAlgebras, Enriquez:QuantizationFunctors}{{32}{4.2}{subsection.4.2}} \backcite {Enriquez:QuantizationFunctors}{{32}{4.2}{subsection.4.2}} \backcite {WKO2}{{32}{4.2}{subsection.4.2}} \backcite {Caen, MasterClass}{{32}{4.2}{subsection.4.2}} \backcite {WKO1}{{32}{4.2}{subsection.4.2}} \backcite {EtingofKazhdan:BialgebrasI, Severa:BialgebrasRevisited}{{32}{4.2}{subsection.4.2}}