Armin Größlinger Martin Griebl Christian Lengauer Quantifier elimination in automatic loop parallelization. 1206-1221 2006 41 J. Symb. Comput. 11 http://dx.doi.org/10.1016/j.jsc.2005.09.012 db/journals/jsc/jsc41.html#GrosslingerGL06