Michael Jampel A Composistional Theory of Constraint Hierarchies. 189-206 1995 conf/cp/1995w Over-Constrained Systems db/conf/cp/cp1995w.html#Jampel95a