Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 亚尼斯·塞拉米 蕴涵生成模理论的一般框架。 279-294 2018 国际JCAR https://doi.org/10.1007/978-3-319-94205-6_19 conf/cade/2018 db/conf/cade/ijcar2018.html#EchenimPS18