Proving Termination Starting from the End.

Pierre Ganty, Samir Genaim

Browse the full CAV paper archive.