@TechReport{tr239,
  author = 	 {Jochen Eisinger},
  title = 	 {Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic},
  institution =  {Institut f{\"u}r Informatik, Universit{\"a}t Freiburg},
  year = 	 {2008},
  number = 	 {239},
}