Decision problems for groups—survey and reflections. Algorithms and classification in combinatorial group theory (1989)

by C F Miller