Simplifying the signature in second-order unification | Publicación