The four-color theorem (1997)

by N Robertson, D Sanders, P D Seymour, R Thomas
Venue:J. Combin. Theory Ser. B