LI, B.; LOWENSTEIN, B.; OMAR, M. Low Degree Nullstellensatz Certificates for 3-Colorability. The Electronic Journal of Combinatorics, v. 23, n. 1, p. P1.6, 11 Jan. 2016.