Arne Meier, Thomas Schneider 0002. Generalized Satisfiability for the Description Logic ::::ALC::::/mathcal{ALC} - (Extended Abstract). In Mitsunori Ogihara, Jun Tarui, editors, Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Volume 6648 of Lecture Notes in Computer Science, pages 552-562, Springer, 2011. [doi]
Abstract is missing.