Nikolay Pelov Maurice Bruynooghe Extending constraint logic programming with open functions. 235-244 2000 PPDP http://doi.acm.org/10.1145/351268.351295 db/conf/ppdp/ppdp2000.html#PelovB00