Polymorphic higher-order recursive path orderings | Publicación