迈克尔·Färber;Cezary卡利西克;约瑟夫·乌尔班 连接表辅助的机器学习指南。 （英语） Zbl 07356974号 J.汽车。推理 65，第2期，287-320（2021年）.理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Färber}等人，J.Autom。推理65，No.2，287--320（2021；Zbl 07356974） 全文： 内政部 arXiv公司 OA许可证
乍得·E·布朗。;Thibault Gauthier;Cezary卡利西克;杰夫·萨特克利夫;约瑟夫·乌尔班 GRUNGE：一场宏大的ATP统一挑战。 （英语） Zbl 07178973号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11716, 123-141 (2019).理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Brown}等人，Lect。注释计算。科学。11716、123--141（2019；Zbl 07178973） 全文： 内政部 arXiv公司
Thibault Gauthier;Cezary卡利西克 跨校对助手库对齐概念。 （英语） Zbl 1395.68247号 J.塞姆。计算。 90, 89-123 (2019).理学硕士：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Gauthier}和\textit{C.Kaliszyk}，J.Symb。计算。90、89——123（2019年；Zbl 1395.68247） 全文： 内政部 OA许可证
Cezary卡利西克;约瑟夫·乌尔班 使用\（\mathsf{Flyspeck}\）学习辅助的自动推理。 （英语） Zbl 1314.68283号 J.汽车。推理 53，第2期，173-213（2014）; 勘误表同上，54，No.1，99（2015）。理学硕士：68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{J.Urban}，J.Autom。推理53，No.2，173--213（2014；Zbl 1314.68283） 全文： 内政部 arXiv公司 OA许可证