Paper Description: GGL05jsc

@Article{GGL05jsc,

author = {Armin Gr\"o{\ss}linger and Martin Griebl and Christian Lengauer},

title = {Quantifier Elimination in Automatic Loop Parallelization},

journal = {Journal of Symbolic Computation},

volume = 41,

number = 11,

month = nov,

year = 2006,

pages = {1206--1221},

issn = {0747-7171},

note = "doi:10.1016/j.jsc.2005.09.012"

}

The paper can be found electronically via its DOI: doi:10.1016/j.jsc.2005.09.012