Axiomatizing logics closely related to varieties
strongly finitely based variety of algebras
scientific article; zbMATH DE number 58414