The four-color theorem (0)

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