Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. In Workshop on Design and Impl. of Parallel Logic Programming Systems. pages 320-336, 1994.