Monika Rauch Henzinger Satish Rao Harold N. Gabow Computing Vertex Connectivity: New Bounds from Old Techniques. 222-250 2000 34 J. Algorithms 2 db/journals/jal/jal34.html#HenzingerRG00