TY  - RPRT
TI  - Undecidabiliity for the additive AIA fragment of the theory of normed spaces
AU  - R. D. Arthan
PY  - 2011
UR  - https://arxiv.org/abs/1002.1381
ID  - 1002.1381
ER  -