Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description).

Florian Frohn, Jrgen Giesl

Browse the full CADE paper archive.