@InProceedings{   Friedman1985TheMO,
  Author        = "Friedman, Herbert and Robertson, G. Neil and Seymour, Paul D.",
  date-added    = "2022-05-14 13:32:21 +0200",
  date-modified = "2022-05-14 13:32:21 +0200",
  Title         = "The metamathematics of the graph minor theorem",
  Year          = "1985"
}

@InProceedings{ Friedman1985TheMO, Author = "Friedman, Herbert and Robertson, G. Neil and Seymour, Paul D.", date-added = "2022-05-14 13:32:21 +0200", date-modified = "2022-05-14 13:32:21 +0200", Title = "The metamathematics of the graph minor theorem", Year = "1985" }