Constraint Programming 1994
(1994)
Smolka, Gert (1994)
Smolka, Gert "The Definition of Kernel Oz" pp251-292