Automatic unrestricted independent and-parallelism in logic programs | Publicación