Maslov V, Pugh W.  1994.  Simplifying polynomial constraints over integers to make dependence analysis more precise. Parallel Processing: CONPAR 94?VAPP VI. :737-748.