Decidability of equational theories of coverings of semigroup varieties. Popov, V.Yu. (2001) Sibirskij Matematicheskij Zhurnal
Definability in the lattice of equational theories of semigroups. J. Jezek, R. McKenzie (1993) Semigroup forum