"Simplification and Elimination of Redundant Linear Arithmetic Constraints."

Jean-Louis Lassez, Tien Huynh, Ken McAloon (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics