7 citations · 7 across the 1 of their papers we have counts for
1 paper · 1 filter
Jonas Schöpf, Aart Middeldorp
Numerous confluence criteria for plain term rewrite systems are known. For logically constrained rewrite system, an attractive extension of term rewriting in which rules are equipp…