Reduction relation

Redirect to:

  • Abstract rewriting system