@PhdThesis{Beckertphd98,
  author = 	 {Bernhard Beckert},
  title = 	 {Tableau-based Theorem Proving: A Unified View --
                  Integrating and Unifying Methods of Tableau-based 
                  Theorem Proving},
  school = 	 {Universit\"at Karlsruhe, Department of Computer Science},
  year = 	 {1998},
  note = 	 {German translation is official thesis version}
}