Decidability of complexity one-half for finite semigroups
decomposition theorems for finite semigroups
scientific article; zbMATH DE number 3792441