Domenico Cantone, Calogero G. Zarba. A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. In Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens, editors, Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Volume 4342 of Lecture Notes in Computer Science, pages 318-333, Springer, 2006. [doi]
Abstract is missing.