The metamathematics of the graph minor theorem (1987)

by H Friedman, N Robertson, P Seymour
Venue:in Logic and Combinatorics