@InProceedings{	  BeckertGore98,
  author	= {Bernhard Beckert and Rajeev Gor\'e},
  title		= {System Description: leanK~2.0},
  booktitle	= {Proceedings, 15th International Conference on Automated
		  Deduction (CADE), Lindau. Germany},
  editors       = {C. Kirchner and H. Kirchner}		  
  series	= {LNCS 1421},
  pages         = {51--55},		  
  publisher	= {Springer},
  year		= {1998}
}