克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 语境逻辑作为模态逻辑，具有完备性和参数不表达性。 （英语） Zbl 1295.68079号 第34届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’07，法国尼斯，2007年1月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。123-134 (2007).MSC公司：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） 全文： DOI程序
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 关于数据更新的本地推理。 （英语） 兹比尔1277.68064 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172133-175（2007）。MSC公司：68第05页 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，《电子》。注释Theor。计算。科学。172133--175（2007年；Zbl 1277.68064） 全文： DOI程序
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里扎尔法蒂 上下文逻辑和树更新。 （英语） Zbl 1369.68132号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。271-282 (2005).MSC公司：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） 全文： DOI程序 链接