THE RESTRICTED BURNSIDE PROBLEM FOR VARIETIES OF SEMIGROUPS
Mark Valentinovich Sapir · Mathematics of the USSR-Izvestiya · 1992
An algorithm is found that decides, for an arbitrary system of semigroup identities, whether the orders of the finite semigroups satisfying the system are bounded by a function (or a recursive function) of the number of generators.