Specialization of Functional Logic Programs Based on Needed Narrowing | Publicación