Analyzing logic programs with dynamic scheduling | Publicación