Normalizing (abstract rewriting)

Redirect to:

• Normal form (abstract rewriting)