Mnacho Echenim公司 半径Iosif 尼古拉斯·佩尔蒂埃 用归纳定义统一分离逻辑中的可判定蕴涵。 183-199 2021 CADE公司 https://doi.org/10.1007/978-3-030-79876-5_11 conf/cade/2021 db/conf/cade/cade2021.html#EchenimIP21