%0 Journal Article %1 journals/sLogica/BaaderS01 %A Baader, Franz %A Sattler, Ulrike %D 2001 %J Stud Logica %K %N 1 %P 5-40 %T An Overview of Tableau Algorithms for Description Logics. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica69.html#BaaderS01 %V 69

@article{journals/sLogica/BaaderS01, added-at = {2023-12-13T09:36:05.000+0100}, author = {Baader, Franz and Sattler, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/2cfb5a93caa925830951cf6d207877209/admin}, ee = {https://www.wikidata.org/entity/Q56771043}, interhash = {cf9dc56c546fb2584b52d5d681805c49}, intrahash = {cfb5a93caa925830951cf6d207877209}, journal = {Stud Logica}, keywords = {}, number = 1, pages = {5-40}, timestamp = {2023-12-13T09:36:05.000+0100}, title = {An Overview of Tableau Algorithms for Description Logics.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica69.html#BaaderS01}, volume = 69, year = 2001 }