@misc{indiciae1ac882c172e7,
  title = {Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms},
  author = {Yi-Dong Shen and Jia-Huai You and Li-Yan Yuan},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0507035},
  note = {Source identifier: cs/0507035}
}