A Translation of Looping Alternating Automata into Description Logics.

Jan Hladik, Ulrike Sattler

Browse the full CADE paper archive.