LILaC - paper abstract

Lotrec: the generic tableau prover for modal and description logics

Abstract:

see also the Lotrec homepage at IRIT.

PostScript

PostScript, gzipped

Bibtex-entry:

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