@Article{	  klaedtke:bounds:2008,
  author	= {Felix Klaedtke},
  copyright	= {ACM},
  journal	= {ACM Transactions on Computational Logic},
  language	= {USenglish},
  number	= 2,
  title		= {Bounds on the Automata Size for Presburger Arithmetic},
  url		= {http://portal.acm.org/citation.cfm?id=1342995},
  volume	= 9,
  year		= 2008,
  user		= {felixkl}
}