この資料をSMS送信: Rewriting logic and its applications :