@InCollection{BeckertHaehnle98,	  
  author	= {Bernhard Beckert and Reiner H\"ahnle},
  title		= {Analytic Tableaux},
  part		= {1: Tableau and Connection Calculi},
  volume        = {{I}: Foundations},
  pages         = {11--41}, 		  
  booktitle	= {Automated Deduction --- A Basis for Applications},
  editor	= {Wolfgang Bibel and Peter H. Schmitt},
  publisher	= {Kluwer, Dordrecht},
  year		= {1998}
}