Smolka, Gert "The Definition of Kernel Oz" pp251-292
(1994)
(1994)
Constraint Programming 1994
Languages mentioned
OZ
{1993} Concurrent constraint language