Equational two axiom bases for Boolean algebras and some other lattice theories
scientific article; zbMATH DE number 3681819