Seol mar théacs é seo: Rewriting logic and its applications :