Luis Fariñas del Cerro David Fauthoux Olivier Gasquet Andreas Herzig Dominique Longin Fabio Massacci Lotrec : The Generic Tableau Prover for Modal and Description Logics. 453-458 2001 conf/cade/2001 IJCAR http://link.springer.de/link/service/series/0558/bibs/2083/20830453.htm db/conf/cade/ijcar2001.html#CerroFGHLM01