Optimising Tableaux Decision Procedures for Description Logics (1997)

by I Horrocks
Venue:University of Manchester