Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs | Publicación