@InProceedings{	  klaedtke:on:2004,
  author	= {F. Klaedtke},
  booktitle	= {Proceedings of the 19th Annual IEEE Symposium on Logic in
		  Computer Science (LICS 2004)},
  copyright	= {IEEE},
  copyrighturl	= {http://www.ieee.org},
  language	= {USenglish},
  pages		= {110--119},
  publisher	= {IEEE Computer Society Press},
  title		= {On the Automata Size for {Presburger} Arithmetic},
  year		= 2004,
  user		= {felixkl}
}