Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi
Rob Shearer‚ Boris Motik and Ian Horrocks
Book Title
Proc. of the 2008 Description Logic Workshop (DL 2008)
Series
CEUR (http://ceur-ws.org/)
Year
2008
Rob Shearer‚ Boris Motik and Ian Horrocks