2 Proving Termination by Bounded Increase ⋆ (2007)
Jürgen Giesl, René Thiemann, Stephan Swiderski, Jürgen Giesl, René Thiemann, Stephan Swiderski, ...
Abstract. Most methods and tools for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail if the...