阿伦·斯塔姆;Oe，达克基;安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 使用逻辑框架进行SMT验证。 （英语） Zbl 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） 全文： 内政部
安德鲁·雷诺兹;塞萨尔·蒂内利;阿米特·戈尔;萨瓦·克里斯蒂奇;Deters，摩根;克拉克·巴雷特 SMT中有限模型发现的量化器实例化技术。 （英语） Zbl 1381.68275号 Bonacina，Maria Paola（编辑），自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。人工智能课堂讲稿，377-391（2013）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。7898、377--391（2013年；Zbl 1381.68275） 全文： 内政部