BibTeX记录日记账/logcom/BonacinaE08
@文章{DBLP:journals/logcom/BonacinaE08， 作者={Maria Paola Bonacina和 Mnacho Echenim}， title={关于可变活性和多项式τ-可满足性程序}， 日志={J.Log.Comput.}， 体积={18}， 数字={1}， 页数={77--96}， 年份={2008}， url={ https://doi.org/10.1093/logcom/exm055 }, doi={10.1093/LOGCOM/EXM055}， timestamp={2023年8月28日星期一21:31:09+0200}， biburl={ https://dblp.org/rec/journals/log.com/BonacinaE08.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
