Transition predicate abstraction and fair termination.

Andreas Podelski, Andrey Rybalchenko

Browse the full POPL paper archive.