Dániel Marx, Barry O'Sullivan, Igor Razgon: Finding small separators in linear time via treewidth reduction. ACM Trans. Algorithms 9(4): 30:1-30:35 (2013)