Paper Description: GGL05a3l

@InProceedings{GGL05a3l,

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

title = {Quantifier Elimination in Automatic Loop Parallelization},

booktitle = {Algorithmic Algebra and Logic ({A3L} 2005)},

editor = {Andreas Dolzmann and Andreas Seidl and Thomas Sturm},

publisher = {Books on Demand GmbH, Norderstedt},

confdate = apr # "3--6",

confaddress = "Passau, Germany",

pages = {123--128},

year = 2005,

month = apr,

isbn = {3-8334-2669-1}

}

Not available electronically; see this site.