Annotation of logic programs for independent AND-parallelism by partial evaluation | Publicación