克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 （英语） Zbl 1200.68224号 Inf.计算。 208，第5期，474-499（2010）.MSC公司：68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，《信息计算》。208，第5号，474--499（2010；Zbl 1200.68224） 全文： 内政部 链接
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 关于数据更新的本地推理。 （英语） Zbl 1277.68064号 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172133-175（2007）。MSC公司：68第05页 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，《电子》。注释Theor。计算。科学。172133-175（2007年；兹bl 1277.68064） 全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 （英语） Zbl 1137.03312号 Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，255-270（2007）。MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，Lect。注释计算。科学。4807255-270（2007年；Zbl 1137.03312） 全文： 内政部 链接