Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates | Publicación