Tableau Algorithms for Description Logics (2000)

by Franz Baader , Ulrike Sattler
Venue:STUDIA LOGICA
Citations:193 - 21 self