Bockmayr, A. (1994). Cutting planes in constraint logic programming (Abstract). In Proceedings of the 3rd International Symposium Artificial Intelligence and Mathematics. Boca Raton: Florida Atlantic University.