A semantic framework for functional logic programming with algebraic polymorphic types | Publicación