Henri Beringer Bruno De Backer Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers. 245-272 1995 Logic Programming: Formal Methods and Practical Applications db/books/collections/BeierleP95.html#BeringerB95