阿伦·斯塔姆;Oe，Duckki（杜基·欧）;安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 使用逻辑框架进行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） 全文： 内政部
Oe，达克基;阿伦·斯塔姆;奥利弗·科里;凯文·克兰西 versat公司：经过验证的现代SAT求解器。 （英语） Zbl 1326.68263号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148363-378（2012）。MSC公司：68吨15 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Oe}等人，Lect。注释计算。科学。7148363--378（2012年；Zbl 1326.68263） 全文： 内政部