Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, A. (1994). Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract). In Bachem, A., & al. (Eds.), Operations Research '93, 18th Symposium on Operations Research (pp. 47-49). Heidelberg, Germany: Physica-Verlag.