@InProceedings{BeckertPape96,
  author	= {Bernhard Beckert and Christian Pape},
  title		= {Incremental Theory Reasoning Methods for Semantic
		  Tableaux},
  editor	= {P. Miglioli and U. Moscato and D. Mundici and M.
		  Ornaghi},
  booktitle	= {5th Workshop on Theorem Proving with Analytic
		  Tableaux and Related Methods ({TABLEAUX} '96)},
  venue         = {Terrasini, Palermo, Italy},
  series	= {LNCS},
  volume        = {1071},
  pages		= {93--109},
  publisher	= {Springer},
  year		= {1996}
}