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