Joxan Jaffar Jean-Louis Lassez Constraint Logic Programming. 111-119 1987 conf/popl/1987 POPL db/conf/popl/popl87.html#JaffarL87 http://doi.acm.org/10.1145/41625.41635