布莱恩，马丁；维杰·德·席尔瓦；阿尔贝托·格里乔；利奥波德·哈勒；丹尼尔·克罗宁 利用抽象冲突驱动子句学习确定浮点逻辑。 （英语） Zbl 1317.68110号 形式方法系统。设计。 45，第2期，213-245（2014）.MSC公司：60年第68季度 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Brain}等人，《形式方法系统》。设计。45，第2号，213--245（2014；Zbl 1317.68110） 全文： 内政部
阿拉斯泰尔·唐纳森。；利奥波德·哈勒；丹尼尔·克罗宁 通过轻量级静态分析加强基于导入的比赛检查。 （英语） Zbl 1317.68113号 Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，169-183（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人，Lect。票据计算。科学。6538，169--183（2011；Zbl 1317.68113） 全文： 内政部
尤里·切比里亚克；托马斯·沃尔；丹尼尔·克罗宁；利奥波德·哈勒 在二元超立方体中寻找精益诱导循环。 （英语） Zbl 1247.68248号 Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，18-31（2009）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chebiryak}等人，Lect。票据计算。科学。5584，18-31（2009年；兹比尔1247.68248） 全文： 内政部 链接