Bsaïes,哈立德 通过生成Eureka属性来转换逻辑程序。一: 准备和正式化。 (英文) Zbl 1039.68540号 问询处 4,第1期,105-120(2001).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Bsaíes},信息4,第1期,105-120(2001;Zbl 1039.68540)
哈立德·比萨耶斯 通过生成Eureka属性来转换逻辑程序。二: 算法、完备性结果和示例。 (英文) Zbl 1039.68539号 问询处 4,第2期,199-215(2001).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Bsaíes},信息4,第2期,199--215(2001;Zbl 1039.68539)