Confluent (abstract rewriting)

Redirect to:

• Confluence (abstract rewriting)