Constraint Hierarchies and Logic Programming. - Alan Borning; Michael J. Maher; Amy Martindale; Molly Wilson (ICLP, 1989)