贾努斯·布尔佐夫斯基 西尔维·戴维斯 博扬·维克多·刘 最复杂的常规理想。 2015 abs/1511.00157 CoRR公司 http://arxiv.org/abs/1511.00157 db/journals/corr/corr1511.html#BrzozowskiDL15