Barth, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Barth, P., & Bockmayr, A. (1998). Modelling Discrete Optimisation Problems in Constraint Logic Programming. Annals of Operations Research, 81, 467-496.