U.: A tableau decision procedure for SHOIQ. (2007)

by I Horrocks, Sattler
Venue:J. Autom. Reasoning