@inproceedings{ALCI-ISMIS,
  author    = {Linh Anh Nguyen},
  title     = {Cut-Free {ExpTime} Tableaux for Checking Satisfiability of
               a Knowledge Base in the Description Logic {\it ALCI}},
  booktitle = {Proceedings of ISMIS'2011},
  editor    = {Marzena Kryszkiewicz and
               Henryk Rybinski and
               Andrzej Skowron and
               Zbigniew W. Ras},
  series    = {LNCS},
  volume    = {6804},
  pages     = {465-475},
  publisher = {Springer},
  year      = {2011}
}