Bibliography

  • [Sim94]
    Book

    Computation with Finitely Presented Groups

    C. C. Sims

    Cambridge University Presspp. xiii+6041994
  • [Hol97]
    Manual

    KBMAG -- Knuth-Bendix in Monoids and Automatic Groups

    Derek Holt

    1997