From Higher-Order to First-Order Rewriting | Publicación