%0 Journal Article %1 journals/japll/OdintsovW08 %A Odintsov, Sergei P. %A Wansing, Heinrich %D 2008 %J J. Applied Logic %K dblp %N 3 %P 343-360 %T Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC. %U http://dblp.uni-trier.de/db/journals/japll/japll6.html#OdintsovW08 %V 6

@article{journals/japll/OdintsovW08, added-at = {2008-08-21T00:00:00.000+0200}, author = {Odintsov, Sergei P. and Wansing, Heinrich}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c4e9a3386e17b70407fc9d50ee598d16/dblp}, ee = {http://dx.doi.org/10.1016/j.jal.2007.06.001}, interhash = {c1dea66505365cc357b57c17f93434ac}, intrahash = {c4e9a3386e17b70407fc9d50ee598d16}, journal = {J. Applied Logic}, keywords = {dblp}, number = 3, pages = {343-360}, timestamp = {2016-02-02T09:20:37.000+0100}, title = {Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC.}, url = {http://dblp.uni-trier.de/db/journals/japll/japll6.html#OdintsovW08}, volume = 6, year = 2008 }