@misc{indiciae1ece337c794e,
  title = {Relating decision and search algorithms for rational points on curves of higher genus},
  author = {Minhyong Kim},
  year = {2002},
  url = {https://arxiv.org/abs/math/0201182},
  note = {Source identifier: math/0201182}
}