%
% GENERATED FROM http://www.coregrid.net
%    by   : anonymous
%    IP   : yoshi.ercim.eu
%    at   : Fri, 15 Jun 2012 09:26:15 +0000 GMT
%    
% Selection : Author: Armin_Grösslinger
%




@Article{GGL05jsc,
      AUTHOR = {Grösslinger, Armin and Griebl, Martin and Lengauer, Christian},
      TITLE = {Quantifier Elimination in Automatic Loop Parallelization},
      YEAR = {2006},
      MONTH = {November},
      JOURNAL = {Journal of Symbolic Computation},
      VOLUME = {41},
      NUMBER = {11},
      PAGES = {1206--1221},
      URL = {http://dx.doi.org/10.1016/j.jsc.2005.09.012},
      NOTE = {ISSN 0747-7171},
      KEYWORDS = {WP3}
}