Muchas de sus contribuciones a la gráfica-para colorear, y, en última instancia, con ayuda de computadora para la solución del Teorema de los cuatro colores se basó en algunos de sus resultados.