Knuth Bendix Completion

String

Term