%0 Conference Paper %1 conf/cade/MotikSH07 %A Motik, Boris %A Shearer, Rob %A Horrocks, Ian %B CADE %D 2007 %E Pfenning, Frank %I Springer %K %P 67-83 %T Optimized Reasoning in Description Logics Using Hypertableaux. %U http://dblp.uni-trier.de/db/conf/cade/cade2007.html#MotikSH07 %V 4603 %@ 978-3-540-73594-6

@inproceedings{conf/cade/MotikSH07, added-at = {2023-12-12T21:37:04.000+0100}, author = {Motik, Boris and Shearer, Rob and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2163c1464ebb1d5cf3b64f593c043bda3/admin}, booktitle = {CADE}, crossref = {conf/cade/2007}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-540-73595-3_6}, interhash = {40db4478ece2f143fb8d9f0c5da3c1c9}, intrahash = {163c1464ebb1d5cf3b64f593c043bda3}, isbn = {978-3-540-73594-6}, keywords = {}, pages = {67-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:37:04.000+0100}, title = {Optimized Reasoning in Description Logics Using Hypertableaux.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2007.html#MotikSH07}, volume = 4603, year = 2007 }