Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 可满足模理论的实例化方案。 293-362 2012 48 J.汽车。原因。 三 https://doi.org/10.1007/s10817-010-9200-3 db/journals/jar/jar48.html#EchenimP12