Enviar aquest missatge de text: Rewriting logic and its applications :