Kaleidoscope: A constraint imperative programming language (1994)

by G Lopez, B Freeman-Benson, A Borning
Venue:In Constraint Programming