Graph minors. I. Excluding a forest (1983)

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