A Fast Probabilistic Algorithm for Four-Coloring Large Planar Graphs. - Raymond A. Archuleta; Henry D. Shapiro (FJCC, 1986)