Higher-Order Orderings for Normal Rewriting | Publicación