Joxan Jaffar Michael J. Maher Constraint Logic Programming: A Survey. 503-581 1994 19/20 J. Log. Program. db/journals/jlp/jlp19.html#JaffarM94