@InProceedings{BaaderEtAlKI05,
  author = {Franz Baader and Carsten Lutz and Eldar Karabaev and Manfred Thei{\ss}en},
  title = {A New $n$-ary Existential Quantifier in Description Logics},
  booktitle =    {Proceedings of the 28th Annual German Conference on Artificial Intelligence, {KI 2005}},  
  year =         2005,
  pages     = {18--33},
  volume    = {3698},
  series =       {Lecture Notes in Artificial Intelligence},
  publisher =    {Springer-Verlag},
  springer =     {yes},
}