Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
scientific article; zbMATH DE number 3595241
scientific article