Church–Rosser property

Redirect to:

  • Confluence (abstract rewriting)