Christian Schulte Gert Smolka Jörg Würtz Encapsulated Search and Constraint Programming in Oz. 134-150 1994 conf/ppcp/1994 PPCP db/conf/ppcp/ppcp94-lncs.html#SchulteSW94