悉达赫克里希纳;亚历山大·萨默斯。;托马斯·怀斯 全局图属性的局部推理。 （英语） Zbl 1508.68065号 Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12075, 308-335 (2020).MSC公司：68号30 03B70号 68第05页 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishna}等人，Lect。注释计算。科学。12075308-335（2020年；兹比尔1508.68065） 全文： DOI程序 arXiv公司 OA许可证
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林（Dominique Larchey-Wendling）;丹尼尔·梅里 一个量化变量的分离逻辑。 （英语） Zbl 1435.68117号 理论计算。系统。 61，第2号，371-461（2017）.MSC公司：65年第68季度 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人，理论计算。系统。61，第2号，371--461（2017；Zbl 1435.68117） 全文： DOI程序 哈尔
Stephane德米里;Deters，摩根 具有两个变量且没有分离连接的分离逻辑的表示完备性。 （英语） Zbl 1367.03053号 ACM事务处理。计算。日志。 17，第2号，第12条，44页（2016年）.MSC公司：03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters}，ACM Trans。计算。日志。17，第2号，第12条，44页（2016；Zbl 1367.03053） 全文： DOI程序