@article {16351,
	title = {Constraint-based array dependence analysis},
	journal = {ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.},
	volume = {20},
	year = {1998},
	month = {1998/05//},
	pages = {635 - 678},
	isbn = {01640925},
	doi = {10.1145/291889.291900},
	url = {http://dl.acm.org/citation.cfm?id=291889.291900},
	author = {Pugh, William and Wonnacott,David}
}
