Expressive Applications of Constraint Logic Programming - Day, William B (The Artificial Intelligence Review)