- ‘A group-embeddable non-automatic semigroup whose universal group is automatic’
-
Glasgow Mathematical Journal 48, no. 2 (2006), pp. 337–342.
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.