Algebraic semantics for functional logic programming with polymorphic order-sorted types | Publicación