Specialization of inductively sequential functional logic programs | Publicación