@PhdThesis{BeckertDiss99,
  author = 	 {Bernhard Beckert},
  title = 	 {Integration und Uniformierung von Methoden des 
                  tableaubasierten Theorembeweisens},
  school = 	 {Universit\"at Karlsruhe, Fakult\"at f\"ur Informatik},
  year = 	 {1999},
  note = 	 {Submitted 1998}
}