%0 Conference Paper %1 hermit %A Motik, B. %A Shearer, R. %A Horrocks, I. %B Proc. of CADE-21 %C Heidelberg %D 2007 %I Springer %K imported %P 67-�83 %T Optimized Reasoning in Description Logics using Hypertableaux %V 4603

@inproceedings{hermit, added-at = {2007-11-23T14:13:20.000+0100}, address = {Heidelberg}, author = {Motik, B. and Shearer, R. and Horrocks, I.}, biburl = {https://www.bibsonomy.org/bibtex/217ae0f08dbeed3dbeda5e85632ffa362/ramaz}, booktitle = {Proc. of CADE-21}, interhash = {40db4478ece2f143fb8d9f0c5da3c1c9}, intrahash = {17ae0f08dbeed3dbeda5e85632ffa362}, keywords = {imported}, owner = {mauro}, pages = {67-�83}, publisher = {Springer}, series = {LNCS (LNAI)}, timestamp = {2007-11-23T14:13:37.000+0100}, title = {Optimized Reasoning in Description Logics using Hypertableaux}, volume = 4603, year = 2007 }