Domenico Cantone Calogero G. Zarba A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. 318-333 2006 conf/RelMiCS/2006tarski Theory and Applications of Relational Structures as Knowledge Instruments http://dx.doi.org/10.1007/11964810_15 db/conf/RelMiCS/tarski2006.html#CantoneZ06