Michael Sannella, <a href="http://www.cs.washington.edu/research/projects/weird/www/skyblue-tr-92.html"> "The SkyBlue Constraint Solver"</a>, UW tech report 92-07-02.  <LI>
