Uwe Keller, Stijn Heymans. The SAT-Tableau Calculus. In Franz Baader, Carsten Lutz, Boris Motik, editors, Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. Volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{KellerH08:0,
title = {The SAT-Tableau Calculus},
author = {Uwe Keller and Stijn Heymans},
year = {2008},
url = {http://ceur-ws.org/Vol-353/KellerHeymans.pdf},
researchr = {https://researchr.org/publication/KellerH08%3A0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008},
editor = {Franz Baader and Carsten Lutz and Boris Motik},
volume = {353},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}