BibTeX记录日志/jar/EchenimP12
@文章{DBLP:journals/jar/EchenimP12， author={Mnacho Echenim和 尼古拉斯·佩尔蒂埃}， title={可满足模理论的实例化方案}， 日志={J.自动原因}， 体积={48}， 数字={3}， 页数={293--362}， 年份={2012}， url={ https://doi.org/10.1007/s10817-010-9200-3 }, doi={10.1007/S10817-010-9200-3}， 时间戳={2020年9月2日星期三13:29:55+0200}， biburl={ https://dblp.org/rec/journals/jar/EchenimP12.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
