The fourcolor theorem (1997)

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