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]
@inproceedings{CantoneZ06,
title = {A Decision Procedure for Monotone Functions over Bounded and Complete Lattices},
author = {Domenico Cantone and Calogero G. Zarba},
year = {2006},
doi = {10.1007/11964810_15},
url = {http://dx.doi.org/10.1007/11964810_15},
tags = {completeness},
researchr = {https://researchr.org/publication/CantoneZ06},
cites = {0},
citedby = {0},
pages = {318-333},
booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers},
editor = {Harrie C. M. de Swart and Ewa Orlowska and Gunther Schmidt and Marc Roubens},
volume = {4342},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-69223-1},
}