BibTeX记录日志/mscs/Statman17
@文章{DBLP:journals/mscs/Statman17， author={Rick Statman}， title={驯服野生蚂蚁；B{\“{o}}hm}猜想的反例， journal={数学结构计算科学}， 体积＝{27}， 数字={5}， 页数={734--737}， 年份={2017年}， url={ https://doi.org/10.1017/S0960129515000341 }, doi={10.1017/S0960129515000341}， timestamp={2020年4月1日星期三08:48:44+0200}， biburl={ https://dblp.org/rec/journals/mscs/Statman17.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
