Automatic Termination Analysis.

Kristof Verschaetse, Stefaan Decorte, Danny De Schreye

Browse the full LOPSTR paper archive.