Jan Johannsen
Carsten Lutz Conjunctive Query Answering in Description Logics
Tobias Nipkow
Helmut Seidl
Thomas Wilke Determinisierung von omega-Automaten