丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） [尼古拉·比约纳;莱昂纳多·德·莫拉;希勒尔·库格勒] 决策程序。算法观点。第二版。 （英语） Zbl 1358.68002号 理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 978-3-662-50496-3/hbk；978-3-562-50497-0/电子书）。第22、356页。(2016).MSC公司：68-01 2002年8月 第68页第15页 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman}，决策程序。算法观点。第二版。柏林：施普林格出版社（2016；Zbl 1358.68002） 全文： 内政部
若昂·西尔瓦侯爵;林奇、伊内斯 关于改进MUS提取算法。 （英语） Zbl 1330.68273号 Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲座笔记6695159-173（2011）。MSC公司：68T20型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit｛J.Marques Silva｝和\textit｛I.Lynce｝，Lect。注释计算。科学。6695159--173（2011年；兹比尔1330.68273） 全文： 内政部
A.西马蒂。;A.格里乔。;R·塞巴斯蒂亚尼。 在可满足模理论中计算小的不可满足核。 （英语） Zbl 1216.68241号 J.阿蒂夫。智力。研究（JAIR） 40, 701-728 (2011).MSC公司：68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，J.Artif。智力。研究（JAIR）40，701--728（2011；Zbl 1216.68241） 全文： 内政部 arXiv公司