Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 分离逻辑与理论推理的不可判定性结果。 106359 2023 八月 182 信息处理。莱特。 https://doi.org/10.1016/j.ipl.2023.106359 db/journals/ipl/ipl182.html#EchenimP23