汉斯·尤根·奥巴赫;安德烈亚斯·农纳加特;马尔滕·德·里杰克;Dov M.加巴伊。 在经典逻辑中对二值非经典逻辑进行编码。 （英语） Zbl 0992.03019号 Alan Robinson（编辑）等人，《自动推理手册》。在2卷中。阿姆斯特丹：北荷兰/爱思唯尔。1403-1486 (2001).MSC公司：03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。1403——1486（2001；Zbl 0992.03019）
Dov M.加巴伊。（编辑）;马尔滕·德·里杰克（编辑） 组合系统的前沿2。1998年10月2日至4日，荷兰阿姆斯特丹，第二届国际研讨会（FroCoS’98）论文选集。 （英语） 兹比尔0978.00029 逻辑与计算研究. 7. 巴尔多克：研究出版社。xiv，407页（2000年）。MSC公司：00B25型 03-06 68-06 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}（编辑）和\textit{M.de Rijke}（主编），组合系统的前沿2。1998年10月2日至4日，荷兰阿姆斯特丹，第二届国际研讨会（FroCoS'98）论文选集。巴尔多克：研究出版社（2000；Zbl 0978.00029）
拉兹洛·齐尔马兹（编辑）;Dov M.加巴伊。（编辑）;马尔滕·德·里杰克（编辑） 1992年逻辑学术讨论会，1992年8月9日至15日，匈牙利维斯普雷姆。 （英语） Zbl 0835.00009 逻辑、语言和计算研究。加利福尼亚州斯坦福：CSLI出版物。欧洲逻辑、语言和信息协会，xiii，319 p.£14.95/pbk；£40.00 (1995).MSC公司：00B25型 03-06 PDF格式BibTeX公司 XML格式引用 \textit{L.Csirmaz}（编辑）等人，1992年逻辑学术讨论会，匈牙利维斯普雷姆，1992年8月9日至15日。加利福尼亚州斯坦福：CSLI出版物（1995；Zbl 0835.00009）