Dov M.加巴伊。 为论证网络引入等式语义。 （英语） Zbl 1341.68212号 Liu，Weiru（编辑），不确定性推理的符号和定量方法。2011年6月29日至7月1日，第11届欧洲会议，ECSQARU 2011，英国贝尔法斯特。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22151-4/pbk）。计算机科学课堂讲稿6717。人工智能课堂讲稿，19-35（2011）。MSC公司：68T27型 03B42号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}，莱克特。注释计算。科学。6717、19-35（2011年；Zbl 1341.68212） 全文： 内政部 链接
Dov M.加巴伊。 纤维性论证框架。 （英语） Zbl 1185.68670号 双头螺栓日志。 93，编号2-3，231-295（2009）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}，Stud.Log。93，编号2--3，231--295（2009；Zbl 1185.68670） 全文： 内政部 链接
Dov M.加巴伊。 扩展论证框架中高级攻击的语义。一： 概述。 （英语） Zbl 1185.68669号 双头螺栓日志。 93，编号2-3，357-381（2009）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}，Stud.Log。93，编号2--3357--381（2009；Zbl 1185.68669） 全文： 内政部