Roman Kontchakov, V. Ryzhikov, Frank Wolter, Michael Zakharyaschev. Checking DL-Lite Modularity with QBF Solvers. 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]
Abstract is missing.