@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}
}