Kinson Ho Hans W. Guesgen Paul N. Hilfinger CONSAT: A Parallel Constraint Satisfaction System. 195-210 1994 7 Lisp and Symbolic Computation 2-3 db/journals/lisp/lisp7.html#HoGH94