@conference {RuggieriM08, title = {Typing Linear Constraints for Moding CLP() Programs}, booktitle = {SAS}, year = {2008}, pages = {128-143}, author = {Salvatore Ruggieri and Fr{\'e}d{\'e}ric Mesnard} }