D.R.布鲁。;C.J.霍格。 逻辑程序的语法相关转换。 (英语) Zbl 0722.68019号 新一代计算。 9,第2期,115-134(1991).MSC公司:68N17号 60年第68季度 第68季度第42季度 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Brough}和\textit{C.J.Hogger},新一代计算。9,第2号,115--134(1991;Zbl 0722.68019) 全文: 内政部
D.R.布鲁。;C.J.霍格。 将关联性编译成逻辑程序。 (英语) Zbl 0631.68013号 J.逻辑程序。 4, 345-359 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Brough}和\textit{C.J.Hogger},J.Log。程序。345-359(1987年;兹bl 0631.68013) 全文: 内政部