Estimating the computational cost of logic programs | Publicación