Franz Baader, Felix Distel. Exploring Finite Models in the Description Logic . In Sébastien Ferré, Sebastian Rudolph, editors, Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings. Volume 5548 of Lecture Notes in Computer Science, pages 146-161, Springer, 2009. [doi]
Abstract is missing.