see also the Lotrec homepage at IRIT.
@InProceedings{ FaFaGaHeLoMa-IJCAR01, author = {Fariņas del Cerro, Luis and Fauthoux, David and Gasquet, Olivier and Herzig, Andreas and Longin, Dominique and Massacci, Fabio}, title = {Lotrec: the generic tableau prover for modal and description logics }, booktitle = {International Joint Conference on Automated Reasoning }, publisher = {Springer Verlag }, series = {LNCS}, year = {2001}, month = {18-23 juin}, pages = {6}, }