Exploiting goal independence in the analysis of logic programs | Publicación