@string{AcaPress   = "Academic Press"      }
@string{JSYMC      = "J. Symbolic Comput." }

@InProceedings{Nickel96,
  author =       {Werner Nickel},
  title =        {Computing Nilpotent Quotients of Finitely Presented Groups},
  booktitle =    {Geometric and Computational Perspectives on Infinite Groups},
  pages =        {175--191},
  year =         1996,
  volume =       25,
  series =       {Dimacs Series in Discrete Mathematics and Theoretical Computer Science}
}

@Book{Sims94,
      Author = "C.~C.~Sims",
      Title = "Computation with Finitely Presented Groups",
      Publisher = {Cambridge University Press},
      Year = 1994
}


@article{LS90,
author       = "C.R. Leedham-Green and L.H. Soicher",
title        = "Collection from the left and other strategies",
journal      = JSYMC,
volume       = "9",
number       = "5 \& 6",
pages        = "665--675",
year         = "1990",
}

@article{VL90a,
author       = "M.R. Vaughan-Lee",
title        = "Collection from the Left",
journal      = JSYMC,
volume       = "9",
pages        = "725--733",
year         = "1990",
publisher    = AcaPress,
}


@Article{NewmanNickel94,
  author =       {M.~F.~Newman and Werner~Nickel},
  title =        {Engel elements in groups},
  journal =      {"J. Pure Appl. Algebra"},
  year =         1994,
  volume =       96,
  pages =        {39--45}
}

@Article{polycyclic,
  author =       {Bettina Eick and Werner Nickel},
  title =        {Polycyclic},
  journal =      {http://www.mathematik.tu-darmstadt.de/~nickel/polycyclic/},
  year =         2002
}

@Manual{GNUMP,
  title =        {GNU MP},
  address =      {http://www.swox.com/gmp/},
  year =         2002
}

@Article{Higman59,
  author =       {G.~Higman},
  title =        {Some remarks on varieties of groups},
  journal =      {Quart.~J.~Math.~Oxford},
  year =         1959,
  volume =       2,
  number =       10,
  pages =        {165--178}
}