Proving Termination by Bounded Increase.

Jrgen Giesl, Ren Thiemann, Stephan Swiderski, Peter Schneider-Kamp

Browse the full CADE paper archive.