On computing the smallest four-coloring of planar graphs and non-self-reducible sets in P
scientific article; zbMATH DE number 5664488