Specialization of lazy functional logic programs | Publicación