@article {16365, title = {Simplifying polynomial constraints over integers to make dependence analysis more precise}, journal = {Parallel Processing: CONPAR 94{\textemdash}VAPP VI}, year = {1994}, month = {1994///}, pages = {737 - 748}, author = {Maslov,V. and Pugh, William} }