TY  - RPRT
TI  - Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
AU  - Yi-Dong Shen
AU  - Jia-Huai You
AU  - Li-Yan Yuan
PY  - 2005
UR  - https://arxiv.org/abs/cs/0507035
ID  - cs/0507035
ER  -