Exploiting Parallelism in Coalgebraic Logic Programming | Publicación