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