Shen, et al.. Enhancing Global Sls-resolution with Loop Cutting and Tabling Mechanisms. Elsevier BV, 2004, doi:10.1016/j.tcs.2004.07.028.