%0 Journal Article %1 journals/ai/DoniniM00 %A Donini, Francesco M. %A Massacci, Fabio %D 2000 %J Artif. Intell. %K dblp %N 1 %P 87-138 %T EXPTIME tableaux for ALC. %U http://dblp.uni-trier.de/db/journals/ai/ai124.html#DoniniM00 %V 124

@article{journals/ai/DoniniM00, added-at = {2018-11-14T00:00:00.000+0100}, author = {Donini, Francesco M. and Massacci, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/24ffed02a0405f88225d886c113af0d1d/dblp}, ee = {https://www.wikidata.org/entity/Q58006968}, interhash = {29d4788a5e185d04382afb36391973d6}, intrahash = {4ffed02a0405f88225d886c113af0d1d}, journal = {Artif. Intell.}, keywords = {dblp}, number = 1, pages = {87-138}, timestamp = {2018-11-15T12:10:22.000+0100}, title = {EXPTIME tableaux for ALC.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai124.html#DoniniM00}, volume = 124, year = 2000 }