More on the strength of Engeler's lemma.
semidistributive algebraic partial lattices
scientific article; zbMATH DE number 5281950