Some group-theoretic algorithms
1978 ◽
pp. 108-124
◽