4 citations · 4 across the 1 of their papers we have counts for
1 paper
René Thiemann, Christian Sternagel, Jürgen Giesl +1
While there are many approaches for automatically proving termination of term rewrite systems, up to now there exist only few techniques to disprove their termination automatically…