Term rewriting system