@InProceedings{Areces2000f,
  author =       "C. Areces and M. de Rijke",
  booktitle =    "Proceedings of AiML 2000",
  title =        "Description and/or Hybrid Logics",
  year =         "2000",
  abstract =     "Improving on work by Schild, De Giacomo and Lenzerini,
                 we establish a tight connection between description
                 logics and hybrid logics, and use this to transfer
                 results on complexity and expressive power from one to
                 the other.",
  address =      "Leipzig, Germany",
}