1. Alon, N., Seymour, P.D., Thomas, R.: A separator theorem for non-planar graphs, J. Amer. Math. Soc. 3, 801–809 (1990)
2. Appel, K., Haken, W.: Every planar map is four colorable, Part I. Discharging, Illinois J. Math. 21, 429–490 (1977)
3. Appel, K., Haken, W., Koch, J.: Every planar map is four colorable, Part II. Reducibility, Illinois J. Math. 21, 491–567 (1977)
4. Archdeacon, D.: A Kuratowski theorem for the projective plane, J. Graph Theory 5, 243–246 (1981)
5. Archdeacon, D., Huneke, P.: A Kuratowski theorem for nonorientable surfaces, J. Combin. Theory, Ser. B 46, 173–231 (1989)