An Overview of Tableau Algorithms for Description Logics, (2001)

by F Baader, U Sattler
Venue:Studia Logica