From Termination-Portal.org

Polytool (A Tool for Termination Analysis of Logic Programs based on Polynomial Interpretations)

• developed at KULeuven, Belgium
• home page: http://www.cs.kuleuven.be/~manh/polytool/
• developers: Manh Thang Nguyen, Danny De Schreye, Peter Schneider-Kamp, Jürgen Giesl
• publication: