@book{ Rob82,
  author =           {Robinson, D. J.},
  title =            {A Course in the Theory of Groups},
  publisher =        {Springer\texttt{\symbol{45}}Verlag},
  series =           {Graduate Texts in Math.},
  volume =           {80},
  address =          {New York, Heidelberg, Berlin},
  year =             {1982},
  printedkey =       {Rob82}
}
@book{ Seg83,
  author =           {Segal, D.},
  title =            {Polycyclic Groups},
  publisher =        {Cambridge University Press},
  address =          {Cambridge},
  year =             {1983},
  printedkey =       {Seg83}
}
@article{ Seg90,
  author =           {Segal, D.},
  title =            {Decidable properties of polycyclic groups},
  journal =          {Proc. London Math. Soc. (3)},
  volume =           {61},
  year =             {1990},
  pages =            {497\texttt{\symbol{45}}528},
  mrclass =          {20F10 (03D40 20F16)},
  mrnumber =         {MR1069513},
  printedkey =       {Seg90}
}
@article{ Hir38a,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(I)}},
  journal =          {Proc. London Math. Soc.},
  volume =           {44},
  number =           {2},
  year =             {1938},
  pages =            {53\texttt{\symbol{45}}60},
  printedkey =       {Hir38}
}
@article{ Hir38b,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(II)}},
  journal =          {Proc. London Math. Soc.},
  volume =           {44},
  number =           {2},
  year =             {1938},
  pages =            {336\texttt{\symbol{45}}414},
  printedkey =       {Hir38}
}
@article{ Hir46,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(III)}},
  journal =          {J. London Math. Soc.},
  volume =           {49},
  number =           {2},
  year =             {1946},
  pages =            {184\texttt{\symbol{45}}94},
  printedkey =       {Hir46}
}
@article{ Hir52,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(IV)}},
  journal =          {J. London Math. Soc.},
  volume =           {27},
  year =             {1952},
  pages =            {81\texttt{\symbol{45}}85},
  printedkey =       {Hir52}
}
@article{ Hir54,
  author =           {Hirsch, K. A.},
  title =            {On Infinite Soluble Groups {(V)}},
  journal =          {J. London Math. Soc.},
  volume =           {29},
  year =             {1954},
  pages =            {250\texttt{\symbol{45}}251},
  printedkey =       {Hir54}
}
@article{ BCRS91,
  author =           {Baumslag,  G. and Cannonito, F. B. and Robinson, D. J.
                      S. and Segal, D.},
  title =            {The           algorithmic           theory          of
                      polycyclic\texttt{\symbol{45}}by\texttt{\symbol{45}}finite
                      groups},
  journal =          {J. Algebra},
  volume =           {142},
  year =             {1991},
  pages =            {118\texttt{\symbol{45}}\texttt{\symbol{45}}149},
  printedkey =       {BCRS91}
}
@book{ Sims94,
  author =           {Sims, C. C.},
  title =            {Computation with finitely presented groups},
  publisher =        {Cambridge University Press},
  series =           {Encyclopedia of Mathematics and its Applications},
  volume =           {48},
  address =          {Cambridge},
  year =             {1994},
  isbn =             {0\texttt{\symbol{45}}521\texttt{\symbol{45}}43213\texttt{\symbol{45}}8},
  mrclass =          {20F05 (20\texttt{\symbol{45}}02 68Q40 68Q42)},
  mrnumber =         {95f:20053},
  mrreviewer =       {Friedrich Otto},
  printedkey =       {Sim94}
}
@article{ LGS90,
  author =           {Leedham\texttt{\symbol{45}}Green,  C.  R. and Soicher,
                      L. H.},
  title =            {Collection from the left and other strategies},
  journal =          {J. Symbolic Comput.},
  volume =           {9},
  number =           {5\texttt{\symbol{45}}6},
  year =             {1990},
  pages =            {665\texttt{\symbol{45}}\texttt{\symbol{45}}675},
  issn =             {0747\texttt{\symbol{45}}7171},
  mrclass =          {20D10 (68Q25)},
  mrnumber =         {92b:20021},
  mrreviewer =       {M. Greendlinger},
  printedkey =       {LS90}
}
@article{ MVL90,
  author =           {Vaughan\texttt{\symbol{45}}Lee, M. R.},
  title =            {Collection from the left},
  journal =          {J. Symbolic Comput.},
  volume =           {9},
  number =           {5\texttt{\symbol{45}}6},
  year =             {1990},
  pages =            {725\texttt{\symbol{45}}\texttt{\symbol{45}}733},
  issn =             {0747\texttt{\symbol{45}}7171},
  mrclass =          {20F12 (20\texttt{\symbol{45}}04 20D15 20F18)},
  mrnumber =         {92c:20065},
  mrreviewer =       {M. Greendlinger},
  printedkey =       {Vau90}
}
@article{ B-K00,
  author =           {Beuerle, J. R. and Kappe, L.\texttt{\symbol{45}}C.},
  title =            {Infinite      metacyclic      groups     and     their
                      non\texttt{\symbol{45}}abelian tensor squares},
  journal =          {Proc. Edinburgh Math. Soc. (2)},
  volume =           {43},
  number =           {3},
  year =             {2000},
  pages =            {651\texttt{\symbol{45}}\texttt{\symbol{45}}662},
  issn =             {0013\texttt{\symbol{45}}0915},
  mrclass =          {20F05},
  mrnumber =         {2003d:20037},
  mrreviewer =       {Graham J. Ellis},
  printedkey =       {BK00}
}
@mastersthesis{ WWM97,
  author =           {Merkwitz, W. W.},
  title =            {{Symbolische Multiplikation in nilpotenten Gruppen mit
                      Deep Thought}},
  school =           {RWTH Aachen},
  year =             {1997},
  printedkey =       {Mer97},
  type =             {Diplomarbeit}
}
@article{ LGS98,
  author =           {Leedham\texttt{\symbol{45}}Green,  C.  R. and Soicher,
                      L. H.},
  title =            {Symbolic collection using {D}eep {T}hought},
  journal =          {LMS J. Comput. Math.},
  volume =           {1},
  year =             {1998},
  pages =            {9\texttt{\symbol{45}}\texttt{\symbol{45}}24
                      (electronic)},
  issn =             {1461\texttt{\symbol{45}}1570},
  mrclass =          {20\texttt{\symbol{45}}04 (20F18)},
  mrnumber =         {99f:20002},
  mrreviewer =       {Martyn R. Dixon},
  printedkey =       {LS98}
}
@inproceedings{ Eic00,
  author =           {Eick, B.},
  booktitle =        {{Groups and Computation {III}}},
  title =            {Computing with infinite polycyclic groups},
  organization =     {(DIMACS, 1999)},
  series =           {Amer. Math. Soc. DIMACS Series},
  year =             {2000},
  printedkey =       {Eic00}
}
@article{ EOs01,
  author =           {Eick, B. and Ostheimer, G.},
  title =            {On  the  orbit  stabilizer problem for integral matrix
                      actions of polycyclic groups},
  journal =          {Accepted by Math. Comp},
  year =             {2002},
  printedkey =       {EO02}
}
@article{ Eic01,
  author =           {Eick, B.},
  title =            {On      the      {Fitting}      subgroup      of     a
                      polycyclic\texttt{\symbol{45}}by\texttt{\symbol{45}}finite
                      group and its applications},
  journal =          {J. Algebra},
  volume =           {242},
  year =             {2001},
  pages =            {176\texttt{\symbol{45}}\texttt{\symbol{45}}187},
  printedkey =       {Eic01}
}
@misc{ Eic01b,
  author =           {Eick, B.},
  title =            {Computations with polycyclic groups},
  year =             {2001},
  howpublished =     {Habilitationsschrift, Kassel},
  printedkey =       {Eic01}
}
@article{ Eic02,
  author =           {Eick, B.},
  title =            {Orbit\texttt{\symbol{45}}stabilizer    problems    and
                      computing normalizers for polycyclic groups},
  journal =          {J. Symbolic Comput.},
  volume =           {34},
  year =             {2002},
  pages =            {1\texttt{\symbol{45}}\texttt{\symbol{45}}19},
  printedkey =       {Eic02}
}
@misc{ Lo99,
  author =           {Lo, E. H.},
  title =            {Enumerating   finite  index  subgroups  of  polycyclic
                      groups},
  year =             {1998},
  howpublished =     {Unpublished report},
  printedkey =       {Lo98}
}
@article{ LOs99,
  author =           {Lo, E. H. and Ostheimer, G.},
  title =            {A    practical    algorithm    for    finding   matrix
                      representations for polycyclic groups},
  journal =          {J. Symbolic Comput.},
  volume =           {28},
  year =             {1999},
  pages =            {339\texttt{\symbol{45}}\texttt{\symbol{45}}360},
  printedkey =       {LO99}
}
@article{ Lo98,
  author =           {Lo, E. H.},
  title =            {Finding   intersection   and  normalizer  in  finitely
                      generated nilpotent groups},
  journal =          {J. Symbolic Comput.},
  volume =           {25},
  year =             {1998},
  pages =            {45\texttt{\symbol{45}}\texttt{\symbol{45}}59},
  printedkey =       {Lo98}
}
@article{ Ost99,
  author =           {Ostheimer, G.},
  title =            {Practical algorithms for polycyclic matrix groups},
  journal =          {J. Symbolic Comput.},
  volume =           {28},
  year =             {1999},
  pages =            {361\texttt{\symbol{45}}\texttt{\symbol{45}}379},
  printedkey =       {Ost99}
}
@article{ dGN02,
  author =           {de Graaf, W. A. and Nickel, W.},
  title =            {Constructing      faithful      representations     of
                      finitely\texttt{\symbol{45}}generated
                      torsion\texttt{\symbol{45}}free nilpotent groups},
  journal =          {J. Symbolic Comput.},
  volume =           {33},
  number =           {1},
  year =             {2002},
  pages =            {31\texttt{\symbol{45}}\texttt{\symbol{45}}41},
  issn =             {0747\texttt{\symbol{45}}7171},
  mrclass =          {20C15 (20F18)},
  mrnumber =         {MR1876310},
  printedkey =       {GN02}
}
@article{ EickNickel07,
  author =           {Eick, B. and Nickel, W.},
  title =            {Computing    the    Schur    multiplicator   and   the
                      non\texttt{\symbol{45}}abelian   tensor  square  of  a
                      polycyclic group},
  journal =          {J. Algebra},
  volume =           {320},
  number =           {2},
  year =             {2008},
  pages =            {927{\textendash}\texttt{\symbol{45}}944},
  mrclass =          {20J05 (20\texttt{\symbol{45}}04 20E22 20F05)},
  mrnumber =         {MR2422322},
  printedkey =       {EN08}
}