@INPROCEEDINGS{arec:desc00,
  author = {Areces, C. and de Rijke, M.},
  title = {Description and/or Hybrid Logics},
  booktitle = {Proceedings of AiML 2000},
  year = {2000},
  address = {Leipzig, Germany},
}