贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;劳伦斯·C·鲍尔森。 使用SMT解算器扩展大锤。 （英语） Zbl 1314.68272号 J.汽车。推理 51，第1号，109-128（2013）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，J.Autom。推理51，No.1，109--128（2013；Zbl 1314.68272） 全文： DOI程序
贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;劳伦斯·C·鲍尔森。 使用SMT解算器扩展大锤。 （英语） Zbl 1314.68271号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，116-130（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，Lect。注释计算。科学。6803116-130（2011年；Zbl 1314.68271） 全文： DOI程序