The narrowing-driven approach to functional logic program specialization | Publicación