Control de granularidad en la ejecución paralela de programas lógicas mediante técnicas de análisis y transformación | Publicación