An Overview of Tableau Algorithms for Description Logics

Cite this paper

@article{Baader2001AnOO, title={An Overview of Tableau Algorithms for Description Logics}, author={Franz Baader and Ulrike Sattler}, journal={Studia Logica}, year={2001}, volume={69}, pages={5-40} }