4 citations · 6 across the 11 of their papers we have counts for
1 paper · 2 filters
Nao Hirokawa, Aart Middeldorp
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st…