Gilad Liberman Zeev Nutov On shredders and vertex connectivity augmentation. 91-101 2007 5 J. Discrete Algorithms 1 http://dx.doi.org/10.1016/j.jda.2006.03.005 db/journals/jda/jda5.html#LibermanN07