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.