TY  - RPRT
TI  - Verifying Termination of General Logic Programs with Concrete Queries
AU  - Yi-Dong Shen
AU  - Li-Yan Yuan
AU  - Jia-Huai You
PY  - 2000
UR  - https://arxiv.org/abs/cs/0006031
ID  - cs/0006031
ER  -