佐姆博里（Zsolt Zombori）;约瑟夫·乌尔班;米罗斯拉夫·奥沙克 熵在指导连接证明程序中的作用。 （英语） Zbl 07532518号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 218-235 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zombori}等人，Lect。注释计算。科学。12842、218--235（2021；Zbl 07532518） 全文： 内政部 arXiv公司 链接
查拉图斯特拉·戈泽尔。;卡雷尔·奇瓦洛夫斯克;Jakubův，简;米罗斯拉夫·奥沙克;约瑟夫·乌尔班 快和慢的谜团和家长指导。 （英语） Zbl 07497922号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 173-191 (2021).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Z.A.Goertzel}等人，Lect。注释计算。科学。12941、173--191（2021；Zbl 07497922） 全文： 内政部 arXiv公司
Jakubův，简;卡雷尔·奇瓦洛夫斯克;米罗斯拉夫·奥沙克;巴托斯·彼得罗夫斯基;马丁·苏达;约瑟夫·乌尔班 ENIGMA anonymous：符号相关推理引导机（系统描述）。 （英语） Zbl 07614690号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 448-463 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Jakubův}等人，Lect。注释计算。科学。12167448--463（2020；Zbl 07614690） 全文： 内政部 arXiv公司