Describe a generalized proverΒ #9
Description
Describe a framework for proving the confluence of an arbitrary term rewriting system (under specific constraints).
- benefits
- estimated amount of work
- input format
- examples
- output format
- examples
- literature
- approach