TY  - RPRT
TI  - Bounds on the Automata Size for Presburger Arithmetic
AU  - Felix Klaedtke
PY  - 2005
UR  - https://arxiv.org/abs/cs/0506008
ID  - cs/0506008
ER  -