@inproceedings{SHI-ICCCI,
  author    = {Linh Anh Nguyen},
  title     = {A Cut-Free {ExpTime} Tableau Decision Procedure 
               for the Description Logic {SHI}},
  booktitle = {Proceedings of ICCCI'2011 (1)},
  editor    = {Piotr Jedrzejowicz and
               Ngoc Thanh Nguyen and
               Kiem Hoang},
  series    = {LNCS},
  volume    = {6922},
  pages     = {572-581},
  publisher = {Springer},
  year      = {2011}
}