Decidability of complexity one-half for finite semigroups. J. Rhodes; J. Karnofsky — 1982 Semigroup forum