Graph Minors. II. Algorithmic Aspects of Tree-Width. - Robertson, Neil; Seymour, Paul D. (J. Algorithms, 1986)