A simpler algorithm and shorter proof for the graph minor decomposition

From MaRDI portal
Publication:5419115