Tableau algorithms for description logics (2000)

by F Baader, U Sattler
Venue:Proc. of TABLEAUX 2000, volume 1847 of LNAI