3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Thomas Sternagel, Christian Sternagel
We present three methods to check CTRSs for non-confluence: (1) an ad hoc method for 4-CTRSs, (2) a specialized method for unconditional critical pairs, and finally, (3) a method t…