Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 索菲·图雷特 无量词等式逻辑与素蕴涵生成。 311-325 2015 CADE公司 https://doi.org/10.1007/978-3-319-21401-6_21 conf/cade/2015 db/conf/cade/cade2015.html#EchenimPT15