On the nonexistence of 4-critical graphs of twelfth order, Diskretnaya Mathematika 4 (1992)

by G P Gavrilov