Optimising Tableaux Decision Procedures for Description Logics (1997)

by I Horrocks