Thomas Dubé Chee-Keng Yap The Geometry in Constraint Logic Programs. 44-50 1993 PPCP db/conf/ppcp/ppcp93.html#DubeY93