乔泽夫·格鲁斯卡 收缩计算的合成、结构和能力。 47-77 1990 71 西奥。计算。科学。 1 db/journals/tcs/tcs71.html#Gruska90 https://doi.org/10.1016/0304-3975（90）90190-S