@article{MOP13,
  title = "On the complexity of {H}ilbert refutations for partition",
  author = "Margulies, S. and Onn, S. and Pasechnik, D. V.",
  year = "2015",
  issn = "0747-7171",
  journal = "J. Symbolic Comput.",
  mrnumber = "3229920",
  pages = "70--83",
  volume = "66",
  doi = "10.1016/j.jsc.2013.06.005",
}