Automatic Presentations for Finitely Generated Groups. - Graham P. Oliver; Richard M. Thomas (STACS, 2005)

Automatic Presentations for Cancellative Semigroups. - Alan J. Cain; Graham P. Oliver; Nikola Ruskuc; Richard M. Thomas (LATA, 2008)

Automatic presentations for semigroups. - Alan J. Cain; Graham P. Oliver; Nikola Ruskuc; Richard M. Thomas (Inf. Comput., 2009)

Automatic Presentations and Semigroup Constructions. - Alan J. Cain; Graham P. Oliver; Nikola Ruskuc; Richard M. Thomas (Theory Comput. Syst., 2010)