莉安娜·哈达伦;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利;Deters，摩根 固定宽度位向量理论的细粒度SMT证明。 （英语） Zbl 1471.68143号 Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9450, 340-355 (2015).MSC公司：60年第68季度 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Hadarean}等人，Lect。注释计算。科学。9450340-355（2015年；Zbl 1471.68143） 全文： 内政部 链接
阿伦·斯塔姆;Oe，Duckki（杜基·欧）;安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 使用逻辑框架进行SMT验证。 （英语） 兹比尔1284.68521 形式方法系统。设计。 42，第1期，91-118（2013）.MSC公司：68吨15 68T20型 03B35型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump}等人，《形式方法系统》。设计。42，第1号，91--118（2013；Zbl 1284.68521） 全文： 内政部