@InProceedings{BaLuMiSaWo-AAAI-2005,
  author = 	 {F. Baader and C. Lutz and M. Milicic and U. Sattler and F. Wolter},
  title = 	 {Integrating Description Logics and Action Formalisms: First Results},
  booktitle = 	 {Proceedings of the Twentieth  National Conference on Artificial Intelligence ({AAAI-05})},
  year = 	 {2005},
  address = 	 {Pittsburgh, PA, USA},
}