Proving Non-looping Non-termination Automatically.

Fabian Emmes, Tim Enger, Jrgen Giesl

Browse the full CADE paper archive.