Optimising Tableaux Decision Procedures for DescriptionLogics (1997)

by I Horrocks