Syntactic semigroups and the finite basis problem Conference Paper uri icon