Li, B., B. Lowenstein, and M. Omar. “Low Degree Nullstellensatz Certificates for 3-Colorability”. The Electronic Journal of Combinatorics, Vol. 23, no. 1, Jan. 2016, p. P1.6, doi:10.37236/5103.