Alan Borning, Bjorn Freeman-Benson, and Molly Wilson,  <a href="http://www.cs.washington.edu/research/projects/weird/www/hierarchies-92.html"> "Constraint Hierarchies"</a>, Lisp and Symbolic Computation, Vol. 5 No. 3, (September 1992), pages 223-270.  </UL>
