S.  Ruggieri and Mesnard, F., ?Typing Linear Constraints for Moding CLP() Programs?, in SAS, 2008, pp. 128-143.