莱昂纳多·德·莫拉;帕斯莫尔，格兰特·奥尼 SMT解决中的战略挑战。 （英语） Zbl 1383.68084号 Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·W·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。人工智能课堂讲稿，15-44（2013）。MSC公司：68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.de Moura}和\textit{G.O.Passmore}，莱克特。注释计算。科学。7788，15-44（2013；Zbl 1383.68084） 全文： 内政部 链接
玛丽亚·保拉（Maria Paola Bonacina）;克里斯托弗·林奇（Christopher A.Lynch）。;莱昂纳多·德·莫拉 关于通过带有推测推理的定理证明来确定可满足性。 （英语） Zbl 1243.68265号 J.汽车。推理 47，第2期，161-189（2011）.MSC公司：68吨15 03B35型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人，J.Autom。推理47，No.2，161--189（2011；Zbl 1243.68265） 全文： 内政部
莱昂纳多·德·莫拉;尼古拉·比约纳 基于模型的理论组合。 （英语） 兹比尔1277.03007 Krstić，Sava（编辑）等人，第五届可满足性模理论国际研讨会论文集（SMT 2007），德国柏林，2007年7月1日至2日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记198，第2期，37-49（2008）。MSC公司：03B35型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.de Moura}和\textit{N.Björner}，电子。注释Theor。计算。科学。198，编号2，37-49（2008；Zbl 1277.03007） 全文： 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;Stump，亚伦 第一届可满足性模理论竞赛（SMT-COMP 2005）的设计和结果。 （英语） Zbl 1104.68719号 J.汽车。推理 35，第4期，373-390（2005）.MSC公司：68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人，J.Autom。推理35，No.4，373--390（2005；Zbl 1104.68719） 全文： 内政部