Codish, Michael and Bruynooghe, Maurice and GarcĂ­a de la Banda, M. and Hermenegildo, Manuel V. (1997). Exploiting goal independence in the analysis of logic programs. "Journal of logic programming", v. 32 (n. 3); pp. 247-261. ISSN 1567-8326. https://doi.org/10.1016/S0743-1066(96)00143-4.