TY  - RPRT
TI  - Non-termination Analysis of Logic Programs with Integer arithmetics
AU  - Dean Voets
AU  - Danny De Schreye
PY  - 2011
DO  - 10.1017/s1471068411000159
UR  - https://arxiv.org/abs/1109.3256
ID  - 1109.3256
ER  -