The metamathematics of the graph minor theorem

• 1 January 1987
• other
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 65, 229-261
• https://doi.org/10.1090/conm/065/891251

Abstract