@misc{indiciae0a707521ceb4,
  title = {A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms},
  author = {Jingjun Han},
  year = {2012},
  url = {https://arxiv.org/abs/1207.7255},
  note = {Source identifier: 1207.7255}
}