Quickly excluding a planar graph (1994)

by N Robertson, P D Seymour, R Thomas
Venue:J. Comb. Theory Series B