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