@misc{indiciaeaa7ca315e09e,
  title = {Recursively Undecidable Properties of NP},
  author = {V. G. Naidenko},
  year = {2001},
  url = {https://arxiv.org/abs/cs/0106049},
  note = {Source identifier: cs/0106049}
}