Mnacho Echenim公司 半径Iosif 尼古拉斯·佩尔蒂埃 对于具有未建立归纳规则的符号堆分离逻辑Formul，蕴涵是不确定的。 106169 2022 173 Inf.流程。莱特。 https://doi.org/10.1016/j.ipl.2021.106169 db/journals/ipl/ipl173.html#EchenimIP22