PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, vol.36, pp.55-68, 1993 (SCI-Expanded)
Semigroup presentations have been studied over a long period, usually as a means of providing examples of semigroups. In 1967 B. H. Neumann introduced an enumeration method for finitely presented semigroups analogous to the Todd-Coxeter coset enumeration process for groups. A proof of Neumann's enumeration method was given by Jura in 1978.