The CIAO Multi-Dialect Compiler and System: An
Experimentation Workbench for Future (C)LP Systems, by Manuel
Hermenegildo et al
Three CLP Implementations of
Branch-and-Bound Optimization, by Steven Prestwich
The use of Mercury for the IMplementation
of a Finite Domain Solver, by Henk Vandecasteele et al