Automata can show PSpace results for description logics

Cite this paper

@article{Baader2008AutomataCS, title={Automata can show PSpace results for description logics}, author={Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza}, journal={Inf. Comput.}, year={2008}, volume={206}, pages={1045-1056} }