瑞克·斯塔特曼 驯服野生蚂蚁；Böhm猜想的反例。 734-737 2017 27 数学。结构。计算。科学。 5 https://doi.org/10.1017/S0960129515000341 db/journals/mscs/mscs27.html#Statman17