A Methodology for Granularity-Based Control of Parallelism in Logic Programs | Publicación