7 citations · 15 across the 11 of their papers we have counts for
1 paper · 1 filter
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
Like termination, confluence is a central property of rewrite systems. Unlike for termination, however, there exists no known complexity hierarchy for confluence. In this paper we…