TY  - RPRT
TI  - A Dynamic Approach to Characterizing Termination of General Logic Programs
AU  - Yi-Dong Shen
AU  - Jia-Huai You
AU  - Li-Yan Yuan
AU  - Samuel S. P. Shen
AU  - Qiang Yang
PY  - 2002
UR  - https://arxiv.org/abs/cs/0204031
ID  - cs/0204031
ER  -