The four-colour theorem (1997)

by Neil Robertson, Daniel P Sanders, Paul Seymour, Robin Thomas
Venue:J. Combin. Theory Ser. B