Graph minors I, excluding a forest (1983)

by N Robertson, P D Seymour
Venue:J. Comb. Theory Ser. B