Joxan Jaffar Andrew E. Santosa Razvan Voicu An Interpolation Method for CLP Traversal. 454-469 2009 CP http://dx.doi.org/10.1007/978-3-642-04244-7_37 conf/cp/2009 db/conf/cp/cp2009.html#JaffarSV09