A simple algorithm for 4-coloring 3-colorable planar graphs
scientific article; zbMATH DE number 5717744
scientific article