  
  
  [1m[4m[31mReferences[0m
  
  [33m[C94]   [0m[1m[31mC.~C.~Sims,   [0m,  [34mComputation  with  Finitely  Presented  Groups[0m,
  Cambridge University Press (1994)
  
  [33m[EN02]     [0m[1m[31mEick,     B.     and     Nickel,     W.     [0m,     [34mPolycyclic[0m,
  http://www.mathematik.tu-darmstadt.de/~nickel/polycyclic/ (2002)
  
  [33m[G59]    [0m[1m[31mG.~Higman,   [0m,   [34mSome   remarks   on   varieties   of   groups[0m,
  Quart.~J.~Math.~Oxford, [34m2[0m (10) (1959), 165--178
  
  [33m[LS90]  [0m[1m[31mLeedham-Green, C. and Soicher, L. [0m, [34mCollection from the left and
  other strategies[0m, J. Symbolic Comput., [34m9[0m (5 \& 6) (1990), 665--675
  
  [33m[MW94]  [0m[1m[31mM.~F.~Newman, and Werner~Nickel, [0m, [34mEngel elements in groups[0m, "J.
  Pure Appl. Algebra", [34m96[0m (1994), 39--45
  
  [33m[N96]  [0m[1m[31mNickel,  W. [0m, [34mComputing Nilpotent Quotients of Finitely Presented
  Groups[0m,  in [34mGeometric and Computational Perspectives on Infinite Groups[0m,
  Dimacs  Series in Discrete Mathematics and Theoretical Computer Science,
  [34m25[0m (1996), 175--191
  
  [33m[V90]  [0m[1m[31mVaughan-Lee,  M. [0m, [34mCollection from the Left[0m, J. Symbolic Comput.,
  Academic Press, [34m9[0m (1990), 725--733
  
  [33m[xxx] [0m[34mGNU MP[0m, http://www.swox.com/gmp/ (2002)
  
  
  
  -------------------------------------------------------
