Term rewriting system
Redirect to:
Rewriting#Term rewriting systems