Quickly excluding a planar graph (1994)

by N Robertson, P D Seymour, R Thomas
Venue:J. Combin. Theory Ser. B