斯特里赫曼（Ofer Strichman）（编辑）;丹尼尔·克罗宁（编辑） 特刊“SI：可满足性模理论”的序言。 （英语） Zbl 1284.68035号 形式方法系统。设计。 42，第1期，第1-2期（2013年）.MSC公司：68-06 03B70号 68T20型 68吨15 60年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{O.Strichman}（编辑）和\textit{D.Kroening}（主编），《形式方法系统》。设计。42，编号1，1--2（2013；Zbl 1284.68035） 全文： 内政部
丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 可满足性模理论的框架。 （英语） Zbl 1192.68647号 正式Asp。计算。 21，第5期，485-494（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman}，正式Asp。计算。21，第5485-494号（2009年；兹bl 1192.68647） 全文： 内政部
约夫·罗德;斯特里赫曼（Ofer Strichman） 构建小型等式图，用于决定具有未解释函数的等式逻辑。 （英语） Zbl 1093.03013号 Inf.计算。 204，第1期，26-59（2006）.MSC公司：03B70号 03年2月25日 2005年10月12日 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Rodeh}和\textit{O.Strichman}，Inf.Comput。204，第1号，26-59（2006；Zbl 1093.03013） 全文： 内政部