塞萨里·卡利西克;斯蒂芬·舒尔茨;约瑟夫·乌尔班;维斯科基尔 系统描述：E.T.0.1。 （英语） Zbl 1465.68286号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 389-398 (2015).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}等人，莱克特。注释计算。科学。9195，389--398（2015；Zbl 1465.68286） 全文： DOI程序
约瑟夫·乌尔班;杰夫·萨特克利夫;彼得·普德拉克;维斯科基尔 MaLARea SG1–带语义指导的自动推理机器学习器。 （英语） Zbl 1165.68434号 阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，441-456（2008）。MSC公司：68T05年 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Urban}等人，Lect。注释计算。科学。5195、441--456（2008年；Zbl 1165.68434） 全文： DOI程序