@misc{indiciaeb912befdd53b,
  title = {Documentation for the ratpoints program},
  author = {Michael Stoll},
  year = {2022},
  url = {https://arxiv.org/abs/0803.3165},
  note = {Source identifier: 0803.3165}
}