@InProceedings{LST03,
  author = 	 {C. Lutz and U. Sattler and L. Tendera},
  title = 	 {The Complexity of Finite Model Reasoning in Description Logics},
  booktitle = 	 "Proc. of the 19th Conference on Automated
                   Deduction (CADE-19)",
  year =	 2003,
  volume = 2741,
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer Verlag},
  springer = {yes}
}