Αποστολή με SMS: Term Rewriting and Applications