Manuel V. Hermenegildo Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. 31-45 1997 conf/europar/1997 Euro-Par db/conf/europar/europar97.html#Hermenegildo97 http://dx.doi.org/10.1007/BFb0002715