@misc{indiciaedc9e89353057,
  title = {Undecidabiliity for the additive AIA fragment of the theory of normed spaces},
  author = {R. D. Arthan},
  year = {2011},
  url = {https://arxiv.org/abs/1002.1381},
  note = {Source identifier: 1002.1381}
}