J·贾法。;马希尔，M.J。 约束逻辑编程：一项调查。 （英语） Zbl 0900.68127号 Gabbay，Dov M.（编辑）等人，《人工智能和逻辑编程中的逻辑手册》。第5卷：逻辑编程。牛津：克拉伦登出版社。591-696 (1998). 关于整个系列，请参见[Zbl 0889.03001号]. 引用于28文件 MSC公司： 68N17号 逻辑编程 引文：Zbl 0889.03001号 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaffar}和\textit{M.J.Maher}，收录于：人工智能和逻辑编程逻辑手册。第5卷：逻辑编程。牛津：克拉伦登出版社。591--696（1998年；Zbl 0900.68127）