@InProceedings{	  BeckertGoreLEAN98,
  author	= {Bernhard Beckert and Rajeev Gor\'e},
  title		= {leanK 2.0: Description for the Comparison of Theorem
		  Provers for Modal Logics},
  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         = {33--34},		  
  year		= {1998}
}