Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V.  (1994).  Effectiveness of global analysis in strict independence-based automatic program parallelization.  In: "1994 International Symposium on Logic programming", November 13-17, 1994, Ithaca, New York. ISBN 0262521911.