D. Holt,
Decision problems in finitely presented groups (7 pages),
    To appear in Proceedings of the EUROCONFERENCE `Computational
    Methods for Representations of Groups and Algebras', Essen, April 1997.