德波尔（Frank S。;Hiep，Hans-Dieter A。;斯蒂恩·德古乌 分离逻辑的逻辑：模型和证明。 （英语） Zbl 07850756号 Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，TABLEAUX 2023，捷克共和国布拉格，2023年9月18日至21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 407-426 (2023).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛F.S.de Boer｝等人，Lect。注释计算。科学。14278，407--426（2023；Zbl 07850756） 全文： 内政部 OA许可证
巴托什·贝德纳尔奇克;斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 用模态逻辑构造有限森林。 （英语） Zbl 07672671号 ACM事务处理。计算。日志。 24，第2号，第12条，46页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人，《美国医学杂志》。计算。日志。24，第2号，第12条，46页（2023；Zbl 07672671） 全文： 内政部
克里斯托夫·马提亚;詹斯·佩格尔;弗洛里安·祖勒格 保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 （英语） Zbl 07650597号 ACM事务处理。计算。日志。 24，第1号，第1条，第76页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Matheja}等人，《美国医学杂志》。计算。日志。24，第1号，第1条，第76页（2023年；Zbl 07650597） 全文： 内政部 arXiv公司 链接
凯文·巴茨;伊拉·费塞费尔特;马文·詹森;Joost-Pieter卡托恩;弗洛里安·科勒;克里斯托夫·马提亚;诺尔，托马斯 定量分离逻辑中蕴含检查的基础。 （英语） Zbl 1528.68208号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 57-84 (2022).MSC公司：60年第68季度 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.Batz}等人，Lect。注释计算。科学。13240，57-84（2022；Zbl 1528.68208） 全文： 内政部 arXiv公司 OA许可证
穆纳乔·埃切宁;拉杜·奥西夫;尼古拉斯·佩尔蒂埃 用归纳定义统一分离逻辑中的可判定蕴涵。 （英语） Zbl 07437079号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 183-199 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Echenim}等人，Lect。注释计算。科学。12699、183--199（2021；Zbl 07437079） 全文： 内政部 arXiv公司 OA许可证