أرسل هذا في رسالة قصيرة: Rewriting logic and its applications :