BibTeX记录日志/corr/FeierKL17
@文章{DBLP:journals/corr/FeierKL17， author={Cristina Feier和 Antti Kuusisto和 卡斯滕·卢茨}， title={在Monadic Disjunction Datalog、MMSNP和Expressive中的可重写性 说明逻辑}， journal＝{CoRR}， 体积={abs/1701.02231}， 年份={2017年}， url={ http://arxiv.org/abs/1701.02231 }, eprinttype={arXiv}， eprint={1701.02231}， timestamp={2018年8月13日星期一16:48:16+0200}， biburl={ https://dblp.org/rec/journals/corr/FeierKL17.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
