BibTeX记录日志/corr/abs-1809-08169
@文章{DBLP:journals/corr/abs-1809-08169， author={Richard Statman}， title={在具有给定交集类型的术语集}上， 日志={CoRR}， 体积＝{abs/1809.08169}， 年份＝{2018}， url={ http://arxiv.org/abs/1809.08169 }, eprinttype={arXiv}， eprint={1809.08169}， 时间戳={2018年10月5日星期五11:34:52+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-1809-08169.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
