Term Rewriting Systemsに関するエントリを募集します．
TRSに関係する内容ならば理論の紹介のみならず「こんなツールがあるよ」「こんなのを作ったよ」というようなのも歓迎です！