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