Alan Borning Bjørn N. Freeman-Benson Molly Wilson Constraint Hierarchies. 223-270 1992 5 Lisp and Symbolic Computation 3 db/journals/lisp/lisp5.html#BorningFW92