Dániel Marx Barry O'Sullivan Igor Razgon Finding small separators in linear time via treewidth reduction http://arxiv.org/abs/1110.4765 2011 CoRR abs/1110.4765 db/journals/corr/corr1110.html#abs-1110-4765