Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism | Publicación