TRS

term rewriting system