Lucas Bordeaux, Frédéric Benhamou. Automated reasoning on monotonic constraints. In 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada. pages 401, IEEE Computer Society, 2000. [doi]
Abstract is missing.