@MastersThesis{masterthesis:eisinger,
  author = 	 {Jochen Eisinger},
  title = 	 {Deciding first-order logic with real and integer addition: an automata-based approach},
  school = 	 {Albert-Ludwigs-Universit{\"a}t Freiburg, 
                  Fakult{\"a}t f{\"u}r Angewandte Wissenschaften, Institut f{\"u}r Informatik},
  year = 	 {2005},
  type = 	 {Diplomarbeit},
  address = 	 {Freiburg i.\,Br.},
}