\draftcut \begin{thebibliography}{CCFM}

\bibitem[AET]{AlekseevEnriquezTorossian:ExplicitSolutions} A.~Alekseev, 
B.~Enriquez, and C.~Torossian,
   {\em Drinfeld's associators, braid groups and an explicit solution of 
the Kashiwara-Vergne equations,}
    Publ.{} Math.{} de L'IH\'ES, {\bf 112-1} (2010) 143--189, 
\arXiv{0903.4067}.

% [AT] in abstract:
\bibitem[AT]{AlekseevTorossian:KashiwaraVergne} A.~Alekseev and
  C.~Torossian,
  {\em The Kashiwara-Vergne conjecture and Drinfeld's associators,}
   Ann.~of Math., {\bf 175-2} (2012) 415--463, \arXiv{0802.4300}.

\bibitem[AS]{Amir-KhosraviSankaran:VasCalc} Z.~Amir-Khosravi and
  S.~Sankaran,
  {\em VasCalc --- A Vassiliev Invariants Calculator,}
  electronic document tree,
  \url{http://katlas.math.toronto.edu/drorbn/?title=VasCalc}.

\bibitem[Ar]{Artin:TheoryOfBraids} E.~Artin,
  \href{http://www.jstor.org/sici?sici=0003-486X(194701)2:48:1%3C101:TOB%3E2.0.CO%3B2-A&cookieSet=1}{{\em Theory of Braids,}}
  Ann.{} of Math.{} {\bf 48-1} (1947) 101--126.

\bibitem[BWC]{BaezWiseCrans:ExoticStatistics} J.~C.~Baez, D.~K.~Wise, and
  A.~S.~Crans,
  {\em Exotic Statistics for Strings in 4d BF Theory,}
  Adv.{} Theor.{} Math.{} Phys.{} {\bf 11-5} (2007) 707--749,
  \arXiv{gr-qc/0603085}.

\bibitem[Ba]{Bardakov:VirtualAndUniversal} V.~G.~Bardakov,
  {\em The Virtual and Universal Braids,}
  Fund.{} Math.{} {\bf 184} (2004) 1--18,
  \arXiv{math.GR/0407400}.

\bibitem[BB]{BardakovBellingeri:VirtualBraids} V.~G.~Bardakov and
  P.~Bellingeri,
  {\em Combinatorial Properties of Virtual Braids,}
  Topology and its Applications {\bf 156} (2009) 1071--1082, \arXiv{math.GR/0609563}.

\bibitem[BN1]{Bar-Natan:OnVassiliev} D.~Bar-Natan,
  \href{http://www.math.toronto.edu/~drorbn/LOP.html#OnVassiliev}{{\em
    On the Vassiliev knot invariants,}}
  Topology {\bf 34} (1995) 423--472.

\bibitem[BN2]{Bar-Natan:Homotopy} D.~Bar-Natan,
  \href{http://www.math.toronto.edu/~drorbn/LOP.html#Homotopy}{{\em
    Vassiliev homotopy string link invariants,}}
  J.{} Knot Theory Ramifications {\bf 4} (1995) 13--32.

\bibitem[BN3]{Bar-Natan:NAT} D.~Bar-Natan,
  \href{http://www.math.toronto.edu/~drorbn/LOP.html#NAT}{{\em
    Non-associative tangles,}}
  in {\em Geometric topology} (proceedings of the Georgia international
  topology conference), (W.~H.~Kazez, ed.), 139--183, Amer.{} Math.{}
  Soc.{} and International Press, Providence, 1997.

\bibitem[BN4]{Bar-Natan:Computations} D.~Bar-Natan,
  {\em Some computations related to Vassiliev invariants,}
  electronic publication,
  \url{http://www.math.toronto.edu/~drorbn/LOP.html#Computations}.

\bibitem[BN5]{Bar-Natan:Braids} D.~Bar-Natan,
  \href{http://www.math.toronto.edu/~drorbn/LOP.html#Braids}{{\em
    Vassiliev and quantum invariants of braids,}}
  in Proc.{} of Symp.{} in Appl.{} Math.{} {\bf 51} (1996) 129--144,
  {\em The interface of knots and physics,} (L.~H.~Kauffman, ed.),
  Amer.{} Math.{} Soc., Providence.

\bibitem[BN6]{Bar-Natan:Associators} D.~Bar-Natan,
  \href{http://www.math.toronto.edu/~drorbn/LOP.html#Associators}{{\em On
  Associators and the Grothendieck-Teichmuller Group I,}}
  Selecta Mathematica, New Series {\bf 4} (1998) 183--212.

\bibitem[BN7]{Bar-Natan:EMP} D.~Bar-Natan,
  \href{http://www.math.toronto.edu/~drorbn/papers/EMP/}{{\em Finite
  Type Invariants,}}
  in {\em Encyclopedia of Mathematical Physics,}
  (J.-P.~Francoise, G.~L.~Naber and Tsou S.~T., eds.)
  Elsevier, Oxford, 2006 (vol.{} 2 p.{} 340).

\bibitem[BN8]{Bar-Natan:AKT-CFA} D.~Bar-Natan,
  {\em Algebraic Knot Theory --- A Call for Action,}
  web document, 2006,
  \url{http://www.math.toronto.edu/~drorbn/papers/AKT-CFA.html}.
  
\bibitem[BN9]{Bar-Natan:KBH} D.~Bar-Natan,
{\em Balloons and Hoops and their Universal Finite Type Invariant, BF Theory, 
and an Ultimate Alexander Invariant,} to appear in Acta Mathematica Vietnamica,
\url{http://www.math.toronto.edu/~drorbn/papers/KBH}, 
 \arXiv{1308.1721}

%\bibitem[BND1]{Bar-NatanDancso:KTG} D.~Bar-Natan and Z.~Dancso,
%  {\em Homomorphic expansions for knotted trivalent graphs},
%  Journal of Knot Theory and its Ramifications Vol.\ {\bf 22}, No.\ 1 (2013)
%  \arXiv{1103.1896}

\bibitem[BND1]{WKO} D.~Bar-Natan and Z.~Dancso,
  {\em Finite Type Invariants of W-Knotted Objects: From Alexander to
    Kashiwara and Vergne} (self-reference),
  web version of the first and second papers in one, videos (wClips) and related files at
  \url{http://www.math.toronto.edu/~drorbn/papers/WKO/}. The
  \arXiv{1309.7155} edition may be older.

\bibitem[BND2]{Bar-NatanDancso:WKO2}  D.~Bar-Natan and Z.~Dancso,
  {\em Finite Type Invariants of W-Knotted Objects II: Tangles and
  the Kashiwara-Vergne Problem}, \arXiv{1405.1955}
  
%\bibitem[BGRT1]{Bar-NatanGaroufalidisRozanskyThurston:WheelsWheeling}
%   D.~Bar-Natan, S.~Garoufalidis, L.~Rozansky and D.~P.~Thurston,
%   {\em Wheels, wheeling, and the Kontsevich integral of the unknot,}
%   Israel Journal of Mathematics {\bf 119} (2000) 217--237,
%   \arXiv{q-alg/9703025}.

\bibitem[BGRT]{Bar-NatanGaroufalidisRozanskyThurston:Aarhus}
  D.~Bar-Natan, S.~Garoufalidis, L.~Rozansky, and D.~P.~Thurston,
  {\em The \AA{}rhus integral of rational homology 3-spheres I--III,}
  Selecta Math.{}, New Series {\bf 8} (2002) 315--339,
  \arXiv{q-alg/9706004}, {\bf 8} (2002) 341--371,
  \arXiv{math.QA/9801049}, {\bf 10} (2004) 305--324, \arXiv{math.QA/9808013}.

\bibitem[BHLR]{Bar-NatanHalachevaLeungRoukema:v-Dims} D.~Bar-Natan,
  I.~Halacheva, L.~Leung, and F.~Roukema,
  \href{http://www.math.toronto.edu/~drorbn/papers/v-Dims}{{\em Some
  Dimensions of Spaces of Finite Type Invariants of Virtual Knots,}}
  Experiment.{} Math.{} {\bf 20-3} (2011) 282--287, \arXiv{0909.5169}.

\bibitem[BLT]{Bar-NatanLeThurston:TwoApplications} D.~Bar-Natan,
  T.~Q.~T.~Le, and D.~P.~Thurston,
  {\em Two applications of elementary knot theory to Lie algebras and
    Vassiliev invariants,}
 Geom.{} Topol.{} {\bf 7-1} (2003) 1--31, \arXiv{math.QA/0204311}.

\bibitem[BNSe]{Bar-NatanSelmani:MetaMonoids}D.~Bar-Natan and Sam Selmani,
{\em Meta-Monoids, 
Meta-Bicrossed Products, and the Alexander Polynomial,}
\url{http://www.math.toronto.edu/~drorbn/papers/MetaMonoids}, 
J.{} Knot Theory Ramifications {\bf 22-10} (2013)
 \arXiv{1302.5689}
 
\bibitem[BNSt]{Bar-NatanStoimenow:Fundamental} D.~Bar-Natan and A.~Stoimenow,
  \href{http://www.math.toronto.edu/~drorbn/LOP.html#Fundamental}{{\em
  The fundamental theorem of Vassiliev invariants,}}
  in Proc.{} of the \AA{}rhus Conf.{} {\em Geometry and physics,}
  (J.~E.~Andersen, J.~Dupont, H.~Pedersen, and A.~Swann, eds.),
  lecture notes in pure and applied mathematics {\bf 184} (1997) 101--134,
  Marcel Dekker, New-York. Also \arXiv{q-alg/9702009}.

% [BP] in asbtract:
\bibitem[BP]{BerceanuPapadima:BraidPermutation} B.~Berceanu and 
S.~Papadima,
   {\em Universal Representations of Braid and Braid-Permutation Groups,}
   J.~Knot Theory Ramifications {\bf 18-7} (2009) 973--983,
   \arXiv{0708.0634}.

\bibitem[BT]{BottTaubes:SelfLinking} R.~Bott and C.~Taubes,
  {\em On the self-linking of knots,}
  J.{} Math.{} Phys.{} {\bf 35} (1994).

% [BH] in abstract:
\bibitem[BH]{BrendleHatcher:RingsAndWickets} T.~Brendle and A.~Hatcher,
  {\em Configuration Spaces of Rings and Wickets,} Comment. Math. Helv. {\bf 88} (2013), no. 1, 131--162.
  \arXiv{0805.4354}.

%\bibitem[CL]{ChepteaLe:EvenAssociator}
%D.~Cheptea and T.~Q.~T.~Le: {\em A TQFT associated to the LMO invariant of three-dimensional manifolds,}
%Commun.{} Math.{} Physics {\bf 272} (2007) 601--634

\bibitem[CS]{CarterSaito:KnottedSurfaces} J.~S.~Carter and M.~Saito,
  {\em Knotted surfaces and their diagrams,}
  Mathematical Surveys and Monographs {\bf 55}, American Mathematical
  Society, Providence 1998.

\bibitem[CCM]{CattaneoCotta-RamusinoMartellini:Alexander} A.~S.~Cattaneo,
  P.~Cotta-Ramusino, and M.~Martellini,
  {\em Three-dimensional BF Theories and the Alexander-Conway Invariant of
    Knots,}
  Nucl.{} Phys.{} {\bf B436} (1995) 355--384, \arXiv{hep-th/9407070}.

\bibitem[CCFM]{CCFM:BF34} A.~S.~Cattaneo, P.~Cotta-Ramusino, J.~Froehlich,
  and M.~Martellini,
  {\em Topological BF Theories in 3 and 4 Dimensions,}
  J.{} Math.{} Phys.{} {\bf 36} (1995) 6137--6160, \arXiv{hep-th/9505027}.

\bibitem[Da]{Dancso:KIforKTG} Z.~Dancso,
  {\em On a Kontsevich Integral for Knotted Trivalent Graphs,}
  Algebr.~Geom.~Topol.~{\bf 10} (2010) 1317--1365,
  \arXiv{0811.4615}.

\bibitem[Dr1]{Drinfeld:QuantumGroups} V.~G.~Drinfel'd,
  {\em Quantum Groups,}
  in {\em Proceedings of the International Congress of Mathematicians,}
  798--820, Berkeley, 1986.

\bibitem[Dr2]{Drinfeld:QuasiHopf} V.~G.~Drinfel'd,
  {\em Quasi-Hopf Algebras,}
  Leningrad Math.{} J.{} {\bf 1} (1990) 1419--1457.

\bibitem[Dr3]{Drinfeld:GalQQ} V.~G.~Drinfel'd,
  {\em On Quasitriangular Quasi-Hopf Algebras and a Group Closely
   Connected with $\text{Gal}(\bar{\bbQ}/\bbQ)$,}
  Leningrad Math.{} J.{} {\bf 2} (1991) 829--860.

\bibitem[Dye]{Dye:Kishinos} H.~A.~Dye,
  {\em Virtual knots undetected by 1 and 2-strand bracket polynomials,}
  Topology Appl.{} {\bf 153-1} (2005) 141--160,
  \arXiv{math.GT/0402308}.

\bibitem[Ep]{Epstein:WordProcessing} D.~Epstein,
  \href{http://akpeters.com/product.asp?ProdCode=2440}{{\em Word Processing
    in Groups,}}
  AK Peters, 1992.

% [EK] in abstract:
\bibitem[EK]{EtingofKazhdan:BialgebrasI} P.~Etingof and D.~Kazhdan,
  {\em Quantization of Lie Bialgebras, I,}
  Selecta Math., New Series {\bf 2} (1996) 1--41,
  \arXiv{q-alg/9506005}.

% [FRR] in abstract:
\bibitem[FRR]{FennRimanyiRourke:BraidPermutation} R.~Fenn, R.~Rimanyi, and
  C.~Rourke,
  \href{http://msp.warwick.ac.uk/~cpr/}{{\em The Braid-Permutation Group,}}
  Topology {\bf 36} (1997) 123--135.

% [Gol] in abstract:
\bibitem[Gol]{Goldsmith:MotionGroups} D.~L.~Goldsmith,
  \href{http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.mmj/1029002454}{{\em
  The Theory of Motion Groups,}}
  Mich.{} Math.{} J.{} {\bf 28-1} (1981) 3--17.

\bibitem[Gou1]{Goussarov:nEquivalence} M.~Goussarov,
  {\em On $n$-equivalence of knots and invariants of finite degree,}
  Zapiski nauch.{} sem.{} POMI {\bf 208} (1993) 152--173 (English
  translation in {\em Topology of manifolds and varieties} (O.~Viro,
  editor), Amer.{} Math.{} Soc., Providence 1994, 173--192).

\bibitem[Gou2]{Goussarov:3Manifolds} M.~Goussarov,
  \href{http://www.math.toronto.edu/~drorbn/Goussarov/}{{\em Finite type
    invariants and  n-equivalence of 3-manifolds,}}
  C.{} R.{} Acad.{} Sci.{} Paris S\'er{} I Math. {\bf 329-6} (1999) 517--522. 

\bibitem[GPV]{GoussarovPolyakViro:VirtualKnots} M.~Goussarov, M.~Polyak, and
    O.~Viro,
  {\em Finite type invariants of classical and virtual knots,}
  Topology {\bf 39} (2000) 1045--1068, \arXiv{math.GT/9810073}.

\bibitem[GK]{GutierrezKrstic:NormalForms} M.~Guti\'errez and S.~Krsti\'c,
  \href{http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.3107}{{\em
  Normal Forms for Basis-Conjugating Automorphisms of a Free Group,}}
  \href{http://www.worldscinet.com/journals/ijac/08/0806/S0218196798000314.html}{Int.{}
  Jour.{} of Algebra and Computation {\bf 8-6} (1998) 631--669}.

\bibitem[HM]{HabeggerMasbaum:Milnor} N.~Habegger and G.~Masbaum,
  \href{http://www.math.jussieu.fr/~masbaum}{{\em The Kontsevich integral
    and Milnor's invariants,}}
  Topology {\bf 39} (2000) 1253--1289.

\bibitem[Hab]{Habiro:Claspers} K.~Habiro,
  \href{http://www.kurims.kyoto-u.ac.jp/~habiro/}{{\em Claspers and finite
    type invariants of links,}}
  Geom.{} Topol.{} {\bf 4} (2000) 1--83.

\bibitem[HKS]{HabiroKanenobuShima:R2K} K.~Habiro, T.~Kanenobu, and
    A.~Shima,
  {\em Finite Type Invariants of Ribbon 2-Knots,}
  in {\em Low Dimensional Topology}, (H. Nencka, ed.) Cont.{} Math.{} {\bf
  233} (1999) 187--196.

\bibitem[HS]{HabiroShima:R2KII} K.~Habiro and A.~Shima,
  \href{http://dx.doi.org/10.1016/S0166-8641(99)00220-5}{{\em Finite
    Type Invariants of Ribbon 2-Knots, II,}}
  Topology Appl.{} {\bf 111-3} (2001) 265--287.

\bibitem[Hav]{Haviv:DiagrammaticAnalogue} A.~Haviv,
  {\em Towards a diagrammatic analogue of the Reshetikhin-Turaev
    link invariants,}
  Hebrew University PhD thesis, September 2002, \arXiv{math.QA/0211031}.

%\bibitem[Jon]{Jones:PlanarAlgebrasI} V.~Jones,
%  {\em Planar algebras, I,}
%  New Zealand Journal of Mathematics, to appear, \arXiv{math.QA/9909027}.

\bibitem[Joy]{Joyce:TheKnotQuandle} D.~Joyce,
  {\em A Classifying Invariant of Knots, the Knot Quandle,}
  J.{} Pure Appl.{} Algebra {\bf 23} (1982) 37--65.

\bibitem[KS]{KanenobuShima:TwoFiltrationsR2K} 
T. ~Kanenobu, A. ~Shima, {\em Two Filtrations of Ribbon 2-Knots,}
Topology Appl.{} {\bf 121} (2002) 143--168.

% [KV] in abstract:
\bibitem[KV]{KashiwaraVergne:Conjecture} M.~Kashiwara and M.~Vergne,
  \href{http://www.springerlink.com/content/v73014gx14084624/}{{\em The
    Campbell-Hausdorff Formula and Invariant Hyperfunctions,}}
  Invent.{} Math.{} {\bf 47} (1978) 249--272.

\bibitem[Ka1]{Kauffman:OnKnots} L.~H.~Kauffman,
  {\em On knots,}
  Princeton Univ.{} Press, Princeton, 1987.

\bibitem[Ka2]{Kauffman:VirtualKnotTheory} L.~H.~Kauffman,
  {\em Virtual Knot Theory,}
  European J.{} Comb.{} {\bf 20} (1999) 663--690, \arXiv{math.GT/9811028}.

\bibitem[KL]{KauffmanLambropoulou:VirtualBraids} L.~H.~Kauffman and
  S.~Lambropoulou,
  {\em Virtual Braids,}
  Fund.{} Math.{} {\bf 184} (2005) 159--186,
  \arXiv{math.GT/0407349}.

\bibitem[Kn]{Kneissler:Twelve} J.~A.~Kneissler,
  {\em The number of primitive Vassiliev invariants up to degree twelve,}
  preprint, June 1997, \arXiv{q-alg/9706022}.

\bibitem[Ko]{Kohno:deRham} T.~Kohno,
  {\em Vassiliev invariants and de-Rham complex on the space of
   knots,}
  Contemp.{} Math.{} {\bf 179} (1994) 123--138.

\bibitem[Kr]{Kricker:Kontsevich} A.~Kricker,
   {\em The lines of the Kontsevich integral and Rozansky's rationality
     conjecture,}
   \arXiv{math/0005284}.

\bibitem[Kup]{Kuperberg:VirtualLink} G.~Kuperberg,
  {\em What is a Virtual Link?,}
  Algebr.{} Geom.{} Topol.{} {\bf 3} (2003) 587--591,
  \arXiv{math.GT/0208039}.

\bibitem[Kur]{Kurlin:CompressedAssociators} V.~Kurlin,
  \href{http://www.maths.dur.ac.uk/~dma0vk/publications.html}{{\em Compressed
    Drinfeld associators,}}
   J.{} Algebra {\bf 292-1} (2005) 184--242.

\bibitem[Le]{Le:UniversalIHS} T.~Q.~T.~Le,
  {\em An invariant of integral homology 3-spheres which is universal
    for all finite type invariants,}
  in {\em Solitons, geometry and topology: on the crossroad},
  (V.~Buchstaber and S.~Novikov, eds.) AMS Translations Series 2,
  Providence, \arXiv{q-alg/9601002}.

\bibitem[LM1]{LeMurakami:HOMFLY} T.~Q.~T.~Le and J.~Murakami,
  {\em On Kontsevich's integral for the HOMFLY polynomial and
    relations of multiple $\zeta$-numbers,}
  Topology and its Applications {\bf 62} (1995) 193--206.

\bibitem[LM2]{LeMurakami:Universal} T.~Q.~T.~Le and J.~Murakami,
  {\em The universal Vassiliev-Kontsevich invariant for framed oriented links,}
  Compos.{} Math.{} {\bf 102} (1996) 41--64, \arXiv{hep-th/9401016}.

\bibitem[LMO]{LeMurakamiOhtsuki:Universal} T.~Q.~T.~Le, J.~Murakami, and
  T.~Ohtsuki,
  {\em On a universal quantum invariant of 3-manifolds,}
  Topology {\bf 37-3} (1998) 539--574, \arXiv{q-alg/9512002}.

\bibitem[Lee1]{LeeP:ClosedForm} P.~Lee, 
  \href{http://individual.utoronto.ca/PetersKnotPage/FrozenFeet.pdf}{{\em
    Closed-Form Associators and Braidors in a Partly Commutative
    Quotient,}}
  University of Toronto preprint, December 2007,
  \url{http://individual.utoronto.ca/PetersKnotPage/}.

\bibitem[Lee2]{Lee:VirtualIsQuadratic} P.~Lee,
  {\em The Pure Virtual Braid Group is Quadratic,}
  Selecta Mathematica {\bf 19-2} (2013) 461--508, \arXiv{1110.2356}.

\bibitem[Lee3]{Lee:AlexanderInvariant} P.~Lee,
  {\em Proof of a Conjectured Formula for the Alexander Invariant,}
  J.~Knot Theory Ramifications {\bf 23} October 2014,
  \arXiv{1209.0668}.

%\bibitem[Lei]{Leinster:Higher} Tom Leinster,
%  \href{http://www.maths.gla.ac.uk/~tl/book.html}
%  {{\em Higher Operads, Higher Categories,}}
%  London Mathematical Society Lecture Note Series {\bf 298}, Cambridge
%  University Press, ISBN 0-521-53215-9, \arXiv{math.CT/0305049}.

\bibitem[Les1]{Lescop:EquivariantLinking} C.~Lescop,
  {\em Knot Invariants Derived from the Equivariant Linking Pairing,}
  AMS/IP Studies in Advanced Mathematics {\bf 50} (2011) 217--242,
  \arXiv{1001.4474}.

\bibitem[Les2]{Lescop:Cube} C.~Lescop,
  {\em On the Cube of the Equivariant Linking Pairing for 3 Manifolds of Rank
    One,} \arXiv{1008.5026}.

\bibitem[Leu]{Leung:CombinatorialFormulas} L.~Leung,
  {\em Combinatorial Formulas for Classical Lie Weight Systems on Arrow
    Diagrams,}
  University of Toronto preprint, December 2008, \arXiv{0812.2342}.

%\bibitem[Lev]{Levine:Addendum} J. ~Levine,
%{\em Addendum and Correction to: ``Homology Cylinders: an Enlargement of the Mapping Class Group,}
%Alg.{} Geom.{} Top.{} {\bf 2} (2002), 1197--1204, \arXiv{math.GT/0207290}

\bibitem[Lie]{Lieberum:gl11} J.~Lieberum,
  {\em The Drinfeld Associator of $gl(1|1)$,}
  Quantum Groups, IRMA Lectures in Mathematics and Theoretical Physics (Benjamin Enriquez editor), 
  European Math. Soc. 2008, 39--80,
  \arXiv{math.QA/0204346}.

\bibitem[Lin]{Lin:Expansions} X-S.~Lin,
  \href{http://math.ucr.edu/~xl/cv-html/pub.html}
  {{\em Power Series Expansions and Invariants of Links,}}
  in {\em Geometric topology} (proceedings of the Georgia international
  topology conference), (W.~H.~Kazez, ed.), 184--202, Amer.{} Math.{}
  Soc.{} and International Press, Providence, 1997.

%\bibitem[Lod]{Loday:LeibnizAlg} J-L. ~Loday,
%{{\em Une version non commutative des algebres de Lie: des algebres
%de Leibniz,}}
%Enseign.{} math.{} (2) {\bf 39} (3-4): 269--293.

\bibitem[MKS]{MagnusKarrasSolitar:CGT} W.~Magnus, A.~Karras, and D.~Solitar,
  {\em Combinatorial Group Theory: Presentations of Groups in Terms of
    Generators and Relations,}
  Wiley, New York, 1966.

\bibitem[MI]{ManturovIlyutko:VirtualKnotsBook} V.~O.~Manturov and D.~P.~Ilyutko,
  {\em Virtual Knots, The State of The Art,}
  Series on Knots and Everything {\bf 51}, World Scientific, 2012.

% [Mc] in abstract:
\bibitem[Mc]{McCool:BasisConjugating} J.~McCool,
  {\em On Basis-Conjugating Automorphisms of Free Groups,}
  Can.{} J.{} Math.{} {\bf 38-6} (1986) 1525--1529.

\bibitem[MM]{MilnorMoore:Hopf} J. Milnor and J. Moore,
  {\em On the structure of Hopf algebras,}
  Ann.{} of Math.{} {\bf 81} (1965) 211--264.

\bibitem[MO]{MurakamiOhtsuki:KTGs}
J. Murakami, and T. Ohtsuki, 
{\em Topological quantum field theory for the universal
quantum invariant,} Communications in Mathematical Physics {\bf 188} 3
(1997) 501--520.

\bibitem[Na]{Naot:BF} G.~Naot,
  {\em On Chern-Simons Theory with an Inhomogeneous Gauge Group and BF Theory
    Knot Invariants,}
  J.{} Math.{} Phys.{} {\bf 46} (2005) 122302, \arXiv{math.GT/0310366}.

\bibitem[Oh]{Ohtsuki:IntegralHomology} T.~Ohtsuki,
  {\em Finite type invariants of integral homology 3-spheres,}
  J.{} Knot Theory Ramifications {\bf 5(1)} (1996) 101--115.

\bibitem[Po]{Polyak:ArrowDiagrams} M.~Polyak,
  \href{http://www.springerlink.com/content/p32716130747l815/}{{\em
    On the Algebra of Arrow Diagrams,}}
  Let.{} Math.{} Phys.{} {\bf 51} (2000) 275--291.

\bibitem[Rol]{Rolfsen:KnotsAndLinks} D.~Rolfsen,
  {\em Knots and Links,}
  AMS Chelsea, 2003.

\bibitem[Rou]{Roukema:GPV} F.~Roukema,
  {\em Goussarov-Polyak-Viro Combinatorial Formulas for Finite Type
    Invariants,}
  \arXiv{0711.4001}.

% [Sa] in abstract:
\bibitem[Sa]{Satoh:RibbonTorusKnots} S.~Satoh,
  {\em Virtual Knot Presentations of Ribbon Torus Knots,}
  J.~Knot Theory Ramifications {\bf 9-4} (2000) 531--542.

\bibitem[Th]{Thurston:IntegralExpressions} D.~Thurston,
  {\em Integral expressions for the Vassiliev knot invariants,}
  Harvard University senior thesis, April 1995, \arXiv{math.QA/9901110}.

\bibitem[Vas]{Vassiliev:CohKnot} V.~A.~Vassiliev,
  {\em Cohomology of knot spaces,}
  in {\em Theory of Singularities and its Applications (Providence)}
  (V.~I.~Arnold, ed.), Amer.{} Math.{} Soc., Providence, 1990.

%\bibitem[wC]{wClips} wClips --- a series of video clips that accompanny
%  this paper, \url{http://www.math.toronto.edu/~drorbn/papers/WKO/}.

\bibitem[Wa]{Watanabe:ClasperMoves} T.~Watanabe,
   {\em Clasper-Moves Among Ribbon 2-Knots Characterizing their Finite
     Type Invariants,}
   J.~Knot Theory Ramifications {\bf 15-9} (2006) 1163--1199.

\end{thebibliography}