%0 Conference Paper %1 dl2008-keller %A Keller, Uwe %A Heymans, Stijn %B Description Logics %C Dresden, Germany %D 2008 %E Baader, Franz %E Lutz, Carsten %E Motik, Boris %I CEUR-WS.org %K 2008 dl2008 myown refereedpub %T The SAT-Tableau Calculus %U http://stijnheymans.net/pubs/dl2008.pdf %V 353

@inproceedings{dl2008-keller, added-at = {2010-11-17T22:26:38.000+0100}, address = {Dresden, Germany}, author = {Keller, Uwe and Heymans, Stijn}, biburl = {https://www.bibsonomy.org/bibtex/23ab41a8d34ee42f6dc63fd51538326d2/stijn.heymans}, booktitle = {Description Logics}, editor = {Baader, Franz and Lutz, Carsten and Motik, Boris}, interhash = {b77b9781cbed9e962634857ac890936c}, intrahash = {3ab41a8d34ee42f6dc63fd51538326d2}, keywords = {2008 dl2008 myown refereedpub}, month = may, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2010-11-17T22:26:38.000+0100}, title = {The SAT-Tableau Calculus}, url = {http://stijnheymans.net/pubs/dl2008.pdf}, volume = 353, year = 2008 }