@PhdThesis{phdthesis:eisinger,
  author = 	 {Jochen Eisinger},
  title = 	 {Automatenbasierte Entscheidungsverfahren f\"ur Theorien der Logik erster Stufe mit Addition},
  school = 	 {Albert-Ludwigs-Universit\"at Freiburg, 
                  Technische Fakult\"at, Institut f\"ur Informatik},
  year = 	 {2009},
  address = 	 {Freiburg i.\,Br.},
}