From Tableaux to Automata for Description Logics.

Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter

Browse the full LPAR paper archive.