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