Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 带有归纳定义谓词的分离逻辑中的可追踪和不可解蕴涵问题。 2023 abs/2305.08419 CoRR公司 https://doi.org/10.48550/arXiv.2305.08419 db/journals/corr/corr2305.html#abs-2305-08419