Optimizing compilation of CLP(R) - Kelly, A.D. (2014)
10.1145/295656.295661