Thibault Gauthier;米罗斯拉夫·奥沙克;约瑟夫·乌尔班 外来编码。 （英语） Zbl 1531.68164号 国际J近似推理 162，文章ID 109009，26 p.（2023）.MSC公司：68伏99 11年55 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Gauthier}等人，国际期刊近似推理162，文章ID 109009，26 p.（2023；Zbl 1531.68164） 全文： 内政部 arXiv公司
卡雷尔·奇瓦洛夫斯克;Jakubův，简;米罗斯拉夫·奥沙克;约瑟夫·乌尔班 学习定理证明组件。 （英语） Zbl 07532521号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 266-278 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chvalovsk}等人，Lect。注释计算。科学。12842、266--278（2021；Zbl 07532521） 全文： 内政部 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公司