@InProceedings{	  HaehnleBeckert99,
  author	= {Reiner H\"ahnle and Bernhard Beckert},
  title		= {Proof Confluent Tableau Calculi --- Abstract of a Tutorial},
  booktitle	= {International Conference on Theorem
  		   Proving with Analytic Tableaux and Related Methods ({TABLEAUX} '99)},
  venue         = {Saratoga Springs, {NY}, {USA}},
  publisher	= {Springer},
  series        = {LNCS},
  volume        = {1617},
  pages         = {34--35},		  
  year		= {1999}
}