TY  - RPRT
TI  - Polytool: polynomial interpretations as a basis for termination analysis of Logic programs
AU  - Manh Thang Nguyen
AU  - Danny De Schreye
AU  - Jürgen Giesl
AU  - Peter Schneider-Kamp
PY  - 2009
UR  - https://arxiv.org/abs/0912.4360
ID  - 0912.4360
ER  -