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]
No references recorded for this publication.
No citations of this publication recorded.