BibTeX记录期刊/jsc/Fernandez96
@文章{DBLP:journals/jsc/Fernandez96， 作者={Maribel Fern{\'{a}}ndez}， title={{AC}互补问题：可满足性和否定消除}， 日志={J.Symb.Comput.}， 体积={22}， 数字＝{1}， 页数={49--82}， 年份={1996}， url={ https://doi.org/10.1006/jsco.1996.0041 }, doi={10.1006/JSCO.1996.0041}， timestamp={2021年2月17日星期三08:57:09+0100}， biburl={ https://dblp.org/rec/journals/jsc/Fernandez96.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
