克莱门斯·艾森霍费尔;鲁巴·阿拉萨夫;迈克尔·劳森;劳拉·科瓦奇 可满足模理论中的非经典逻辑。 （英语） Zbl 07850736号 Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 24-36 (2023).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisenhofer}等人，Lect。注释计算。科学。14278，24-36（2023；Zbl 07850736） 全文： 内政部 OA许可证
马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;贾尔斯·里格尔;安德烈·沃伦科夫 感应饱和。 （英语） Zbl 1528.68391号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 306-322 (2022).MSC公司：68伏15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Hajdu｝等人，Lect。注释计算。科学。13660306-322（2022年；兹比尔1528.68391） 全文： 内政部
马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫 自动推理的归纳基准。 （英语） Zbl 1485.68281号 Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 124-129 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛M.Hajdu｝等人，Lect。注释计算。科学。12833、124-129（2021；Zbl 1485.68281） 全文： 内政部 链接
佩特拉·霍佐娃;劳拉·科瓦奇;安德烈·沃伦科夫 整数感应饱和。 （英语） Zbl 07437089号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 361-377 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Hozzová}等人，Lect。注释计算。科学。12699，361--377（2021；Zbl 07437089） 全文： 内政部 OA许可证
格雷斯，伯恩哈德;劳拉·科瓦奇;雅各布·拉特 一阶定理证明中的包含解调。 （英语） Zbl 07614519号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 297-315 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Gleiss}等人，Lect。注释计算。科学。12166297-315（2020年；兹bl 07614519） 全文： 内政部 arXiv公司