@Article{Lutz-et-al-IANDC-05,
  author =       "C. Lutz and U. Sattler and L. Tendera",
  title =        "The Complexity of Finite Model Reasoning in Description Logics",
  journal =      "Information and Computation",
  year =         "2005",
  volume =	 "199",
  pages =        "132--171"
}