New Results on Type Systems for Functional Logic Programming | Publicación