Fast offline partial evaluation of logic programs | Publicación