Barth, P., & Bockmayr, A.(1995). Modelling mixed-integer optimisation problems in constraint logic programming (MPI-I-1995-2-011). Saarbrücken: Max-Planck-Institut für Informatik.