Efficiently fourcoloring planar graphs (1996)

by N Robertson, D P Sanders, P Seymour, R Thomas
Venue:in: Proc. 28th ACM Symp. Theory Comput. (STOC), ACM