BibTeX记录日志/corr/abs-1011-5894
@文章{DBLP:journals/corr/abs-1011-5894， author={Cristina Feier和 斯迪恩·海曼斯}， title={用Forest逻辑程序进行推理的优化}， 日志={CoRR}， 体积={abs/1011.5894}， 年份={2010}， url={ http://arxiv.org/abs/1011.5894 }, eprinttype={arXiv}， eprint={1011.5894}， timestamp={2018年8月13日星期一16:47:35+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-1011-5894.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
