Dov M.加巴伊。（编辑）；C.J.霍格。（编辑）；罗宾逊，J.A。（编辑） 人工智能和逻辑编程逻辑手册。第5卷：逻辑编程。 （英语） Zbl 0889.03001号 牛津：克拉伦登出版社。xv，799页（1998年）。 审核人：N.Curteanu（伊阿什） MSC公司：03月00日 68-00 68N17号 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}（编辑）等人，《人工智能和逻辑编程逻辑手册》。第5卷：逻辑编程。牛津：克拉伦登出版社（1998；Zbl 0889.03001）
D.R.布鲁。；C.J.霍格。 逻辑程序的语法相关转换。 （英语） Zbl 0722.68019号 新一代计算。 9，第2期，115-134（1991）.MSC公司：68N17号 60年第68季度 2012年第68季度 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。程序。4345-359（1987年；Zbl 0631.68013） 全文： 内政部
C.J.霍格。 逻辑程序的推导。 （英语） Zbl 0464.68021号 J.协会计算。机器。 28, 372-392 (1981).MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Hogger}，J.协会计算。机器。28372--392（1981年；Zbl 0464.68021） 全文： 内政部