Kasper, Thomas Programming Logics, MPI for Informatics, Max Planck Society;
Kasper, T. (1998). A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming. PhD Thesis, Universität des Saarlandes, Saarbrücken.