@TechReport{BaaderEtAll-LTCS-05-08,
  author = {Franz Baader and Carsten Lutz and Eldar Karabaev and Manfred Thei{\ss}en},
  title = {A New $n$-ary Existential Quantifier in Description Logics},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2005,
  type =         {LTCS-Report},
  number =       {LTCS-05-08},
  address =      {Germany},
  note =         {See
                  http://lat.inf.tu-dresden.de/research/reports.html.},

}