Exptime Tableaux for ALC

Cite this paper

@inproceedings{Giacomo1996ExptimeTF, title={Exptime Tableaux for ALC}, author={Giuseppe De Giacomo and Francesco M. Donini and Fabio Massacci}, booktitle={Description Logics}, year={1996} }