@article{SH-TCCI,
  author    = {Linh Anh Nguyen and
               Andrzej Sza{\l}as},
  title     = {Tableaux with Global Caching for Checking Satisfiability
               of a Knowledge Base in the Description Logic {\it SH}},
  journal   = {T. Computational Collective Intelligence},
  volume    = {1},
  pages     = {21-38},
  publisher = {Springer},
  year      = {2010}
}