CLAIRE: Combining Sets, Search and Rules to better Express Algorithms, by Yves Caseau et al.

ACI1 Constraints, by Agostino Dovier et al.

Stack-Splitting: A Simple Technique for Implementing Or-Parallelism and And-Parallelism on Distributed Machines, by Gopal Gupta and Enrico Pontelli.

Comparing Trailing and Copying for Constraint Programming, by Christian Schulte.

Revising Hull and Box Consistency, by Frederic Benhamou et al.

Solving TSP with Time Windows with Constraints, by Filippo Focacci et al.

Constraint-based Round Robin Torunament Planning, by Martin Henz.

Concurrency in Prolog using Threads and a Shared Database, by Manuel Hermenegildo and Manuel Carro.