Polytool: Proving Termination Automatically Based on Polynomial Interpretations.

Manh Thang Nguyen, Danny De Schreye

Browse the full LOPSTR paper archive.