24 citations · 50 across the 8 of their papers we have counts for
1 paper · 1 filter
Franz Baader, Stephan Tobies
Tableaux-based decision procedures for satisfiability of modal and description logics behave quite well in practice, but it is sometimes hard to obtain exact worst-case complexity…