Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Kasper, Thomas Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, A., & Kasper, T. (1998). Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS Journal on Computing, 10(3), 287-300.