R.: A new proof of the four-color theorem (1996)

by N ROBERTSON, D P SANDERS, P SEYMOUR, THOMAS
Venue:Electron. Res. Announce. Amer. Math. Soc