@misc{indiciae4762440657c8,
  title = {Non-definability of languages by generalized first-order formulas over (N,+)},
  author = {Andreas Krebs and A. V. Sreejith},
  year = {2012},
  url = {https://arxiv.org/abs/1204.6179},
  note = {Source identifier: 1204.6179}
}