Negation operations definable on finite distributive lattices Priestley, H.A., Bordalo, G. (1992) Portugaliae mathematica