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
The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees (or corres…