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