The _5-graph is a spanner

From MaRDI portal
Publication:2864294