BibTeX记录日志/corr/abs-cs-0604054
@文章{DBLP:journals/corr/abs-cs-0604054， author={Alessandro Armando和 玛丽亚·保拉·博纳西纳和 西尔维奥·兰伊斯和 斯蒂芬·舒尔茨}， title={基于重写的可满足性过程的新结果}， 日志={CoRR}， 体积={abs/cs/0604054}， 年份＝{2006}， url={ http://arxiv.org/abs/cs/0604054 }, eprinttype={arXiv}， eprint={cs/0604054}， timestamp={2018年8月13日星期一16:48:40+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-cs-0604054.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
