William B. Day Expressive Applications of Constraint Logic Programming. 427-452 1997 11 Artif. Intell. Rev. 6 db/journals/air/air11.html#Day97 http://dx.doi.org/10.1023/A:1017967318323