Anfonwch hwn fel neges destun: Rewriting logic and its applications :