@article{Beckert97a,
   author        = {Bernhard Beckert},
   title         = {Semantic Tableaux with Equality},
   journal       = {Journal of Logic and Computation},
   volume        = {7},
   number        = {1},
   pages         = {39--58},		  
   year          = {1997}
}