%0 Journal Article %1 journals/jair/MotikSH09 %A Motik, Boris %A Shearer, Rob %A Horrocks, Ian %D 2009 %J J. Artif. Intell. Res. %K dblp %P 165-228 %T Hypertableau Reasoning for Description Logics. %U http://dblp.uni-trier.de/db/journals/jair/jair36.html#MotikSH09 %V 36

@article{journals/jair/MotikSH09, added-at = {2019-01-21T00:00:00.000+0100}, author = {Motik, Boris and Shearer, Rob and Horrocks, Ian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21885f14d1eec7bc41985e00b6e027244/dblp}, ee = {https://www.wikidata.org/entity/Q56988707}, interhash = {079e84717aacf6d18eb97ca511ecfd29}, intrahash = {1885f14d1eec7bc41985e00b6e027244}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {165-228}, timestamp = {2019-09-27T08:31:08.000+0200}, title = {Hypertableau Reasoning for Description Logics.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair36.html#MotikSH09}, volume = 36, year = 2009 }