"Finite Model Reasoning in Horn Description Logics."

Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics