The higher-order recursive path ordering | Publicación