References
  
  [BCRS91]  Baumslag,  G., Cannonito, F. B., Robinson, D. J. S. and Segal, D.,
  The  algorithmic  theory  of  polycyclic-by-finite  groups,  J. Algebra, 142
  (1991), 118--149.
  
  [BK00] Beuerle, J. R. and Kappe, L.-C., Infinite metacyclic groups and their
  non-abelian  tensor  squares,  Proc. Edinburgh Math. Soc. (2), 43, 3 (2000),
  651--662.
  
  [dGN02]   de   Graaf,   W.   A.   and   Nickel,  W.,  Constructing  faithful
  representations  of  finitely-generated  torsion-free  nilpotent  groups, J.
  Symbolic Comput., 33, 1 (2002), 31--41.
  
  [Eic00]  Eick,  B., Computing with infinite polycyclic groups, in Groups and
  Computation III, (DIMACS, 1999), Amer. Math. Soc. DIMACS Series (2000).
  
  [Eic01a]   Eick,   B.,   Computations   with   polycyclic   groups   (2001),
  Habilitationsschrift, Kassel.
  
  [Eic01b]  Eick,  B., On the Fitting subgroup of a polycyclic-by-finite group
  and its applications, J. Algebra, 242 (2001), 176--187.
  
  [Eic02]  Eick,  B.,  Orbit-stabilizer problems and computing normalizers for
  polycyclic groups, J. Symbolic Comput., 34 (2002), 1--19.
  
  [EN08]  Eick,  B.  and Nickel, W., Computing the Schur multiplicator and the
  non-abelian  tensor square of a polycyclic group, J. Algebra, 320, 2 (2008),
  927–-944.
  
  [EO02]  Eick,  B.  and  Ostheimer,  G.,  On the orbit stabilizer problem for
  integral matrix actions of polycyclic groups, Accepted by Math. Comp (2002).
  
  [Hir38a]  Hirsch,  K. A., On Infinite Soluble Groups (I), Proc. London Math.
  Soc., 44, 2 (1938), 53-60.
  
  [Hir38b]  Hirsch, K. A., On Infinite Soluble Groups (II), Proc. London Math.
  Soc., 44, 2 (1938), 336-414.
  
  [Hir46]  Hirsch,  K.  A.,  On Infinite Soluble Groups (III), J. London Math.
  Soc., 49, 2 (1946), 184-94.
  
  [Hir52]  Hirsch,  K.  A.,  On  Infinite Soluble Groups (IV), J. London Math.
  Soc., 27 (1952), 81-85.
  
  [Hir54] Hirsch, K. A., On Infinite Soluble Groups (V), J. London Math. Soc.,
  29 (1954), 250-251.
  
  [LGS90]  Leedham-Green,  C.  R. and Soicher, L. H., Collection from the left
  and other strategies, J. Symbolic Comput., 9, 5-6 (1990), 665--675.
  
  [LGS98]  Leedham-Green,  C. R. and Soicher, L. H., Symbolic collection using
  Deep Thought, LMS J. Comput. Math., 1 (1998), 9--24 (electronic).
  
  [Lo98a]  Lo,  E. H., Enumerating finite index subgroups of polycyclic groups
  (1998), Unpublished report.
  
  [Lo98b] Lo, E. H., Finding intersection and normalizer in finitely generated
  nilpotent groups, J. Symbolic Comput., 25 (1998), 45--59.
  
  [Mer97]  Merkwitz,  W. W., Symbolische Multiplikation in nilpotenten Gruppen
  mit Deep Thought, Diplomarbeit, RWTH Aachen (1997).
  
  [Rob82]  Robinson, D. J., A Course in the Theory of Groups, Springer-Verlag,
  Graduate Texts in Math., 80, New York, Heidelberg, Berlin (1982).
  
  [Seg83]  Segal, D., Polycyclic Groups, Cambridge University Press, Cambridge
  (1983).
  
  [Seg90]  Segal,  D., Decidable properties of polycyclic groups, Proc. London
  Math. Soc. (3), 61 (1990), 497-528.
  
  [Sim94]  Sims,  C. C., Computation with finitely presented groups, Cambridge
  University  Press,  Encyclopedia  of  Mathematics  and its Applications, 48,
  Cambridge (1994).
  
  [VL90] Vaughan-Lee, M. R., Collection from the left, J. Symbolic Comput., 9,
  5-6 (1990), 725--733.