Tableau Algorithms for Description Logics (2000)

by Franz Baader, Ulrike Sattler
Venue:STUDIA LOGICA