TY  - RPRT
TI  - Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach
AU  - Yi-Dong Shen
AU  - Danny De Schreye
PY  - 2005
UR  - https://arxiv.org/abs/cs/0512055
ID  - cs/0512055
ER  -