The word problem for cancellation semigroups with zero (1984)

by Gurevich, H R Lewis
Venue:J. Symbolic Logic