Salvatore Ruggieri Frédéric Mesnard Typing Linear Constraints for Moding CLP() Programs. 128-143 2008 SAS http://dx.doi.org/10.1007/978-3-540-69166-2_9 conf/sas/2008 db/conf/sas/sas2008.html#RuggieriM08