%0 Journal Article %1 baader01overview %A Baader, F. %A Sattler, U. %D 2001 %J Studia Logica %K DL %P 5--40 %T An Overview of Tableau Algorithms for Description Logics %U http://citeseer.ist.psu.edu/baader00overview.html %V 69

@article{baader01overview, added-at = {2008-10-23T12:02:51.000+0200}, author = {Baader, F. and Sattler, U.}, biburl = {https://www.bibsonomy.org/bibtex/2ceb633fa3f85589dcfe544966b233d71/deynard}, interhash = {cf9dc56c546fb2584b52d5d681805c49}, intrahash = {ceb633fa3f85589dcfe544966b233d71}, journal = {Studia Logica}, keywords = {DL}, pages = {5--40}, timestamp = {2008-10-23T12:02:52.000+0200}, title = {An Overview of Tableau Algorithms for Description Logics}, url = {http://citeseer.ist.psu.edu/baader00overview.html}, volume = 69, year = 2001 }