崔宝秋;Swift,Terrance公司 首选逻辑语法:定点语义和数据标准化应用。 (英语) Zbl 0995.68024号 Artif公司。智力。 138,编号1-2,117-147(2002).MSC公司:68N17号 68T50型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{B.Cui}和\textit{T.Swift},Artif。智力。138,编号1--2,117-147(2002;Zbl 0995.68024) 全文: 内政部
崔宝秋;大卫·沃伦。 XSB中的属性变量。 (英语) Zbl 0958.68028号 Dutra,Inás(编辑)等人,(约束)逻辑编程的并行性和实现技术。与1999年12月1日在美国新墨西哥州拉斯克鲁塞斯举行的ICLP’99研讨会。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。30,314页,仅电子版(1999年)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Cui}和\textit{D.S.Warren},in:(约束)逻辑编程的并行性和实现技术。与1999年12月1日在美国新墨西哥州拉斯克鲁塞斯举行的ICLP’99研讨会。阿姆斯特丹:爱思唯尔。第14页(1999年;Zbl 0958.68028)