The metamathematics of the graph minor theorem, in: Logic and combinatorics (1987)

by H Friedman, N Robertson, P Seymour
Venue:of Contemp. Math., Amer. Math. Soc