Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 证明伸展正常形态双相似性的可靠性。 （英语） Zbl 1525.68023号 Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 41-56 (2018).MSC公司：68号30 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Biernacki}等人，《电子》。注释Theor。计算。科学。336、41-56（2018年；Zbl 1525.68023） 全文： 内政部
马特·考夫曼;J Strother摩尔 粗金刚石：基于等价重写的扩展。 （英语） Zbl 1416.68165号 Klein，Gerwin（编辑）等人，交互定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8558, 537-542 (2014).MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.考夫曼}和\textit{J S.摩尔}，莱克特。注释计算。科学。8558、537--542（2014；Zbl 1416.68165） 全文： 内政部