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