B. Li, B. Lowenstein, and M. Omar, “Low Degree Nullstellensatz Certificates for 3-Colorability”, Electron. J. Combin., vol. 23, no. 1, p. P1.6, Jan. 2016.