"Constraint Hierarchies and Logic Programming"
