BibTeX记录日志/corr/abs-1303-2467
@文章{DBLP:journals/corr/abs-1303-2467， 作者={Daniel Gor和 Lutz Schr{\“{o}}der}， title={余代数模态逻辑的模拟和互模拟}， 日志={CoRR}， 体积＝{abs/13032467}， 年份={2013}， url={ http://arxiv.org/abs/1303.2467 }, eprinttype={arXiv}， eprint={1303.2467}， timestamp={2018年8月13日星期一16:47:09+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-1303-2467.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
