‘A group-embeddable non-automatic semigroup whose universal group is automatic’
Glasgow Mathematical Journal, 48, no. 2 (2006), pp. 337–342.
DOI: 10.1017/s0017089506003107. MR: 2256982. ZBL: 1108.20056.


Answering a question of Hoffmann and of Kambites, an example is exhibited of a finitely generated semigroup $S$ such that $S$ embeds in a group and $S$ is not automatic, but the universal group of $S$ is automatic.