Manh Thang Nguyen Danny De Schreye Polytool: Proving Termination Automatically Based on Polynomial Interpretations. 210-218 2006 conf/lopstr/2006 LOPSTR http://dx.doi.org/10.1007/978-3-540-71410-1_15 db/conf/lopstr/lopstr2006.html#NguyenS06