@Article{EHR91,
  author =       "D.F.~Holt and D.B.A.~Epstein and S.~Rees",
  title =        "The use of Knuth-Bendix methods to solve the word
                  problem in automatic groups", 
  journal =      "J. Symbolic Computation",
  year =         1991,
  volume =       12,
  pages =        "397--414"
}

@Book{ECHLPT92,
  author =       "D.B.A.~Epstein and J.W.~Cannon and D.F.~Holt and
                  S.~Levy and M.S.~Paterson and W.P.~Thurston",
  title =        "Word Processing and Group Theory",
  publisher =    "Jones and Bartlett",
  year =         1992
}

@InProceedings{Holt94,
  author =       "Derek~F.~Holt",
  title =        "The Warwick Automatic Groups Software",
  booktitle =    "Proceedings of DIMACS Conference on Computational
                  Group Theory, Rutgers, March 1994.",
  year =         "To appear"
}

@Book{LeC86,
  author =       "P.~LeChenadec",
  title =        "Canonical Forms in Finitely Presented Algebras",
  publisher =    "London Pitman and New York, Wiley",
  year =         1986
}

@Book{Sims94,
  author =       "Charles~C.~Sims",
  title =        "Computation with Finitely Presented Groups",
  publisher =    "Cambridge",
  year =         1994
}