IDRA (IDeal resource allocation): Computing ideal speedups in parallel logic programming - Fernández M; Carro M; Hermenegildo M (Lecture Notes In Computer Science, 1996)