Termination of Rewriting with Right-Flat Rules | Publicación