Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
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.