Computer proof of relations in groups (1977)

by John Leech
Venue:Topics in Group Theory and Computation