A residualizing semantics for the partial evaluation of functional logic programs | Publicación