TY  - RPRT
TI  - Termination Prediction for General Logic Programs
AU  - Yi-Dong Shen
AU  - Danny De Schreye
AU  - Dean Voets
PY  - 2009
UR  - https://arxiv.org/abs/0905.2004
ID  - 0905.2004
ER  -