Dániel Marx Barry O'Sullivan Igor Razgon Finding small separators in linear time via treewidth reduction. 30:1-30:35 2013 9 ACM Trans. Algorithms 4 https://doi.org/10.1145/2500119 db/journals/talg/talg9.html#MarxOR13