@InProceedings{ArLuTo-07,
  author = 	 {Alessandro Artale and Carsten Lutz and David Toman},
  booktitle = 	 {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
  title = 	 {A Description Logic of Change},
  year = 	 2007,
  pages =        {218-223},
  editor =       {Manuela Veloso},
  publisher =    {AAAI Press}
}