@TechReport{	  BeckertPape96b,
  author	= {Bernhard Beckert and Christian Pape},
  title		= {Incremental Theory Reasoning Methods for Semantic
		  Tableaux},
  institution	= {Universit\"{a}t Karlsruhe, Fakult\"{a}t f\"{u}r Informatik},
  number	= {2/96},
  year		= {1996}
}