Simplification and Elimination of Redundant Linear Arithmetic Constraints.

Jean-Louis Lassez Tien Huynh Ken McAloon Simplification and Elimination of Redundant Linear Arithmetic Constraints. 37-51 1989 NACLP db/conf/slp/slp89.html#LassezHM89