克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 语境逻辑作为模态逻辑，具有完备性和参数不表达性。 （英语） Zbl 1295.68079号 2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。123-134 (2007).理学硕士：68号30 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。123-134（2007年；Zbl 1295.68079） 全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 关于数据更新的本地推理。 （英语） Zbl 1277.68064号 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172133-175（2007）。理学硕士：68第05页 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，《电子》。注释Theor。计算。科学。172133-175（2007年；兹bl 1277.68064） 全文： 内政部
乌里·扎尔法蒂;菲利普·加德纳 关于树更新的局部推理。 （英语） Zbl 1273.03111号 Brookes，Steve（ed.）等人，第22届编程语义数学基础年会（MFPS XXII）会议记录，意大利热那亚，2006年5月23日至27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记158，399-424（2006）。理学硕士：03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{U.Zarfaty}和\textit{P.Gardner}，电子。注释Theor。计算。科学。158399--424（2006年；Zbl 1273.03111） 全文： 链接
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 上下文逻辑和树更新。 （英语） Zbl 1369.68132号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。271-282 (2005).理学硕士：68号30 03B70号 68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。271--282（2005年；Zbl 1369.68132） 全文： 内政部 链接