Safe typing of functional logic programs with opaque patterns and local bindings | Publicación