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