Goal dependent vs. goal independent analysis of logic programs | Publicación