Candidates for term-rewriting

Delete All Candidates