Computation with Finitely Presented Groups

Computation with Finitely Presented Groups