丹尼尔·库尔温;约瑟夫·乌尔班 MaLeS：自动调整自动定理证明程序的框架。 （英语） Zbl 1356.68193号 J.汽车。推理 55，第2期，91-116（2015）.MSC公司：68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kühlwein}和\textit{J.Urban}，J.Autom。推理55，No.2，91--116（2015；Zbl 1356.68193） 全文： 内政部 arXiv公司
杰西·阿拉玛;汤姆·海斯克斯;丹尼尔·库尔温;叶夫根·齐夫茨瓦泽;约瑟夫·乌尔班 通过语料库分析和核方法进行数学前提选择。 （英语） Zbl 1315.68217号 J.汽车。推理 52，第2期，191-213（2014）.MSC公司：68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Alama}等人，J.Autom。推理52，No.2，191--213（2014；Zbl 1315.68217） 全文： 内政部 arXiv公司
马克斯·克拉默;彼得·科普克;丹尼尔·库尔温;伯恩哈德·施罗德 Naproche系统中的前提选择。 （英语） 兹比尔1291.68336 Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日，英国爱丁堡，第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，434-440（2010）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cramer}等人，Lect。注释计算。科学。6173、434--440（2010年；Zbl 1291.68336） 全文： 内政部