James H. Andrews Foundational Issues in Implementing Constraint Logic Programming Systems. 117-147 1995 25 Sci. Comput. Program. 2-3 db/journals/scp/scp25.html#Andrews95