Gert Smolka The Definition of Kernel Oz 251-292 Constraint Programming journals/lncs/1994-910 1994 db/journals/lncs/lncs910.html#Smolka94