吉尔·巴特；托马斯·埃斯皮托；本杰明·格雷戈里；贾斯汀·徐；Pierre-Yves支柱 通过自我组合和耦合证明一致性和独立性。 （英语） Zbl 1403.68140号 Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，385-403（2017）。MSC公司：87年第68季度 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，EPiC Ser。计算。46、385--403（2017；Zbl 1403.68140） 全文： 内政部 arXiv公司
罗伯特·兰德；史蒂夫·兹丹塞维奇 VPHL：概率程序的验证部分正确性逻辑。 （英语） Zbl 1351.68080号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，351-367，仅电子版（2015）。MSC公司：68号30 03B70号 第68页第19页 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rand}和\textit{S.Zdancewic}，电子。注释Theor。计算。科学。319351-367（2015；Zbl 1351.68080） 全文： 内政部
吉尔·巴特；托马斯·埃斯皮托；本杰明·格雷戈里；贾斯汀·徐；莱奥·斯特凡内斯科；Pierre-Yves支柱 通过概率耦合进行关系推理。 （英语） Zbl 1471.68127号 Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9450, 387-401 (2015).MSC公司：第68季度第60季度 03B70号 87年第68季度 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，Lect。票据计算。科学。9450387-401（2015年；兹比尔1471.68127） 全文： 内政部 arXiv公司 哈尔