Template:Reduction graph-based rsp

Dependence only on reduction graph
This property of a rewriting system depends only on the reduction graph associated with the rewriting system, viz it can be reduces to testing the reduction graph for a directed graph property