@InProceedings{ BeckertGabbay98,
author = {Bernhard Beckert and Dov Gabbay},
title = {Fibring Semantic Tableaux},
booktitle = {International Conference on Theorem Proving with
Analytic Tableaux and Related Methods ({TABLEAUX} '98)},
venue = {Oisterwijk, The Netherlands},
publisher = {Springer},
series = {LNCS},
volume = {1397},
pages = {77--92},
year = {1998}
}