Term rewriting#Term rewriting systems

1. REDIRECT rewriting#Term rewriting systems

{{Redirect category shell|1=

{{R to section}}

}}