@inproceedings{BSDL,
  author    = {Ali Rezaei Divroodi and
               Linh Anh Nguyen},
  title     = {On Bisimulations for Description Logics},
  booktitle = {Proceedings of CS\&P'2011},
  pages     = {99-110},
  year      = {2011}
}