Every Planar Graph is Four Colorable (1989)

by K Appel, W Haken
Venue:Contemporary Mathematics 98, AMS