The word problem in semi-groups with cancellation (1950)

by A M Turing
Venue:Ann. of Math