冈萨洛·伊玛兹（Gonzalo E.Imaz）。 可能的Horn非子句知识库。 （英语） Zbl 07629312号 国际J近似推理 152, 357-389 (2023).MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit｛G.E.Imaz｝，Int.J.近似推理152357-389（2023；Zbl 07629312） 全文： 内政部 arXiv公司
安德烈亚斯·格里默;约阿希姆·克莱门斯;罗伯特·威利 证据网格图中推理和不确定性减少的形式化方法。 （英语） Zbl 1419.68165号 国际J近似推理 87, 23-39 (2017).MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit｛A.Grimmer｝等人，Int.J.近似推理87，23-39（2017；Zbl 1419.68165） 全文： 内政部
尤金·戈德伯格;Manolios，Panagiotis公司 通过依赖序列消除量词。 （英语） Zbl 1311.03061号 形式方法系统。设计。 45，第2期，111-143（2014）.MSC公司：03C10号机组 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Goldberg}和\textit{P.Manolios}，《形式方法系统》。设计。45，编号2111-143（2014；兹bl 1311.03061） 全文： 内政部 arXiv公司
汉斯·克莱恩·勃宁;赵西顺;乌韦·布贝克 量化电路的正规形式转换。 （英语） Zbl 1330.68103号 Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲座笔记6695245-258（2011）。MSC公司：65年第68季度 68T20型 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.K.Büning}等人，Lect。注释计算。科学。6695245--258（2011年；Zbl 1330.68103） 全文： 内政部
米罗斯拉夫·韦列夫。;Randal E.布莱恩特。 在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程。 （英语） 兹伯利1069.68119 J.塞姆。计算。 35，第2期，73-106（2003）.MSC公司：68瓦35 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Velev}和\textit{R.E.Bryant}，J.Symb。计算。35、第2号、第73-106号（2003年；Zbl 1069.68119） 全文： 内政部
保尔·弗雷德里克·威廉姆斯 基于布尔表达式图的形式验证。 （英语） Zbl 1266.68004号 理论计算机科学电子笔记56.阿姆斯特丹：爱思唯尔；林比：TU Denmark，信息技术部（Diss.2000）。iv，190页。，仅电子版（2001）。MSC公司：68-02 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.F.Williams}，基于布尔表达式图的形式验证。阿姆斯特丹：爱思唯尔；林比：TU Denmark，信息技术部（Diss.2000）（2001；Zbl 1266.68004） 全文： 内政部