28 citations · 48 across the 13 of their papers we have counts for
1 paper · 1 filter
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…