Every Planar Map is Four Colorable

Graph Structure Theory: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Graph Minors, Held June 22 to July 5, 1991, with Support from the National Science Foundation and the Office of Naval Research