Varieties of distributive lattices with unary operations. II. Priestley, H.A.; Santos, R. — 1998 Portugaliae Mathematica
Negation operations definable on finite distributive lattices Priestley, H.A.; Bordalo, G. — 1992 Portugaliae mathematica