SI! Automata Can Show PSPACE Results for Description Logics.

Franz Baader, Jan Hladik, Rafael Pealoza

Browse the full LATA paper archive.