Henk Vandecasteele Danny De Schreye Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. 84-98 1994 conf/lpar/1994 LPAR db/conf/lpar/lpar94.html#VandecasteeleS94 http://dx.doi.org/10.1007/3-540-58216-9_31