BibTeX记录日志/corr/JordanK16
@文章{DBLP:journals/corr/JordanK16， author={查尔斯·乔丹和 卢卡斯·凯撒}， title={使用描述复杂性和 {SMT}解算器}， 日志={CoRR}， 体积={abs/1609.02664}， 年份={2016年}， url={ http://arxiv.org/abs/1609.02664 }, eprinttype={arXiv}， eprint={1609.02664}， timestamp={2018年8月13日星期一16:46:38+0200}， biburl={ https://dblp.org/rec/journals/cor/JordanK16.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
