A prevariety of semigroups whose elementary theory is solvable
scientific article; zbMATH DE number 3453585