Գրեք սա: Rewriting logic and its applications :