@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}
}
