@misc{indiciae0eb012a64b9a,
  title = {A reduction of 3-SAT problem to Buchberger algorithm},
  author = {Maiia Bakhova},
  year = {2013},
  url = {https://arxiv.org/abs/1307.3682},
  note = {Source identifier: 1307.3682}
}