@Article{Klaedtke:presburger,
  title     = {Bounds on the Automata Size for {Presburger} Arithmetic},
  author    = {Felix Klaedtke},
  journal   = {ACM Transactions on Computational Logic},
  volume    = {9},
  number    = {2},
  year      = {2008},
  publisher = {ACM},
}