Narrowing-driven partial evaluation of functional logic programs | Publicación