TY  - RPRT
TI  - Inference of termination conditions for numerical loops in Prolog
AU  - Alexander Serebrenik
AU  - Danny De Schreye
PY  - 2003
UR  - https://arxiv.org/abs/cs/0110034
ID  - cs/0110034
ER  -