D.加巴伊。;佐丹奴，L。;A.马泰利。;北奥利韦蒂。;萨皮诺，M.L。 逻辑编程中的条件推理。 （英语） Zbl 0957.68014号 J.日志。程序。 44，编号1-3，37-74（2000）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}等人，J.Log。程序。44，编号1--3，37-74（2000；Zbl 0957.68014） 全文： 内政部
Dov M.加巴伊。;劳拉·佐丹奴;阿尔贝托·马泰利;尼古拉·奥利维蒂 用于处理假设更新和不一致性的语言。 （英语） Zbl 0853.68074号 J.IGPL公司 4，第3期，385-416（1996）.MSC公司：第68页第17页 第68页，共15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人，J.IGPL 4，No.3，385--416（1996；Zbl 0853.68074）
D.加巴伊。;佐丹奴，L。;A.马泰利。;北奥利韦蒂。 逻辑编程语言中的假设更新、优先级和不一致性。 （英语） 兹比尔1496.68316 Marek，V.W.（编辑）等人，《逻辑编程和非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。928, 203-216 (1995).MSC公司：68T27型 第68页第17页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}等人，Lect。注释计算。科学。928203-216（1995年；Zbl 1496.68316） 全文： 内政部