Gao, Q. S.; Li, L. H. The principle of selecten jumping searching and \(C,C_ 0',C^*\) algorithms. (English) Zbl 0714.68099 New Generation Comput. 9, No. 1, 81-104 (1991). MSC: 68T20 PDFBibTeX XMLCite \textit{Q. S. Gao} and \textit{L. H. Li}, New Generation Comput. 9, No. 1, 81--104 (1991; Zbl 0714.68099) Full Text: DOI
Drabent, Wlodzimierz; Martelli, Maurizio Strict completion of logic programs. (English) Zbl 0714.68084 New Generation Comput. 9, No. 1, 69-79 (1991). MSC: 68T15 68T27 68N17 PDFBibTeX XMLCite \textit{W. Drabent} and \textit{M. Martelli}, New Generation Comput. 9, No. 1, 69--79 (1991; Zbl 0714.68084) Full Text: DOI
Poole, David Compiling a default reasoning system into Prolog. (English) Zbl 0713.68017 New Generation Comput. 9, No. 1, 3-38 (1991). MSC: 68N20 68N17 68T05 PDFBibTeX XMLCite \textit{D. Poole}, New Generation Comput. 9, No. 1, 3--38 (1991; Zbl 0713.68017) Full Text: DOI