Armin Größlinger, Martin Griebl, Christian Lengauer. Quantifier Elimination in Automatic Loop Parallelization. In Andreas Dolzmann, Andreas Seidl, Thomas Sturm, editors, Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. pages 123-128, Books on Demand, 2005.
@inproceedings{GrosslingerGL05, title = {Quantifier Elimination in Automatic Loop Parallelization}, author = {Armin Größlinger and Martin Griebl and Christian Lengauer}, year = {2005}, researchr = {https://researchr.org/publication/GrosslingerGL05}, cites = {0}, citedby = {0}, pages = {123-128}, booktitle = {Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning}, editor = {Andreas Dolzmann and Andreas Seidl and Thomas Sturm}, publisher = {Books on Demand}, isbn = {3-8334-2669-1}, }