@PhdThesis{phdthesis:klaedtke,
  author = 	 {Felix Klaedtke},
  title = 	 {Automata-based Decision Procedures for Weak Arithmetics},
  school = 	 {Albert-Ludwigs-Universit\"at Freiburg, 
                  Fakult\"at f\"ur Angewandte Wissenschaften, Institut f\"ur Informatik},
  year = 	 {2004},
  address = 	 {Freiburg i.\,Br.},
}