Term rewrite system

Redirect to:

• Rewriting#Term rewriting systems