rewrite system#Term rewriting systems

1. REDIRECT Rewriting

{{rcat shell|

{{R from noun}}

}}