IDRA (ideal resource allocation): Computing ideal speedups in parallel logic programming | Publicación