Harry B. Hunt III Daniel J. Rosenkrantz Peter A. Bloniarz On the Computational Complexity of Algebra on Lattices. 129-148 1987 16 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp16.html#HuntRB87