Complexity of Terminological Reasoning Revisited

Cite this paper

@inproceedings{Lutz1999ComplexityOT, title={Complexity of Terminological Reasoning Revisited}, author={Carsten Lutz}, booktitle={LPAR}, year={1999} }