索菲·图雷特 Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 地平面等式子句的演绎完全约束迭加演算。 94-104 2014 PAAR@IJCAR酒店 https://doi.org/10.29007/3cp8 conf/cade/2014paar db/conf/cade/paar2014.html#TorretEP14