A liberal type system for functional logic programs | Publicación