Proving Termination with Adornments.

Alexander Serebrenik, Danny De Schreye

Browse the full LOPSTR paper archive.