Specialization of functional logic programs based on needed narrowing. - MARÍA ALPUENTE; SALVADOR LUCAS; GERMÁN VIDAL; MICHAEL HANUS (Theory & Practice of Logic Programming, 2005)