TY - JOUR AU - J. Jezek AU - R. McKenzie TI - Definability in the lattice of equational theories of semigroups. JO - Semigroup forum PY - 1993 SP - 199 EP - 245 VL - 46 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SF_1993__46_1_135231/ ID - SF_1993__46_1_135231 ER -