M·亚伯拉罕。;D.M.加巴伊。;Schild，美国。 《塔木德逻辑原理》。 （英语） Zbl 1445.03003号 Gabbay，Dov M.（编辑）等人，《哲学逻辑手册》。第18卷。查姆：斯普林格。把手b。菲洛斯。逻辑18，133-373（2018）。MSC公司：03年05月 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abraham}等人，Handb。菲洛斯。逻辑18，133--373（2018；Zbl 1445.03003） 全文： 内政部
克拉默，马科斯;乔瓦尼·卡西尼 撤销方案的假设。 （英语） Zbl 1444.68039号 Maffei，Matteo（编辑）等人，《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议，即2017年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10204, 232-252 (2017).MSC公司：68平方米25 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Cramer}和\textit{G.Casini}，莱克特。注释计算。科学。10204、232--252（2017；Zbl 1444.68039） 全文： 内政部 链接