@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}
}