Exploiting path parallelism in logic programming | Publicación