Zhou, Neng-Fa; Sato, Taisuke; Shen, Yi-Dong Linear tabling strategies and optimizations. (English) Zbl 1128.68018 Theory Pract. Log. Program. 8, No. 1, 81-109 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{N.-F. Zhou} et al., Theory Pract. Log. Program. 8, No. 1, 81--109 (2008; Zbl 1128.68018) Full Text: DOI
Shen, Yi-Dong; You, Jia-Huai; Yuan, Li-Yan Enhancing global SLS-resolution with loop cutting and tabling mechanisms. (English) Zbl 1071.68019 Theor. Comput. Sci. 328, No. 3, 271-287 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{Y.-D. Shen} et al., Theor. Comput. Sci. 328, No. 3, 271--287 (2004; Zbl 1071.68019) Full Text: DOI
Shen, Yi-Dong; Yuan, Li-Yan; You, Jia-Huai SLT-resolution for the well-founded semantics. (English) Zbl 1003.68066 J. Autom. Reasoning 28, No. 1, 53-97 (2002). MSC: 68Q55 PDFBibTeX XMLCite \textit{Y.-D. Shen} et al., J. Autom. Reasoning 28, No. 1, 53--97 (2002; Zbl 1003.68066) Full Text: DOI