reduction (abstract rewriting)

1. REDIRECT Abstract rewriting system {{R with possibilities}}

Category:Rewriting systems