BibTeX记录日志/corr/abs-1802-01318
@文章{DBLP:journals/corr/abs-1802-01318， author={Daniel Danielski和 伊曼纽尔·基伦斯基}， title={具有等价关系的一元否定片段具有有限 模型属性}， 日志={CoRR}， 体积={abs/1802.01318}， 年份={2018年}， url={ http://arxiv.org/abs/1802.01318 }, eprinttype={arXiv}， eprint={1802.01318}， 时间戳＝{2018年8月13日星期一16:47:04+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-1802-01318.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
