@INPROCEEDINGS{NguyenSzalas09ICCCI,
  author    = {Linh Anh Nguyen and Andrzej Sza{\l}as},
  title     = {{EXPTIME} Tableaux for Checking Satisfiability of 
               a Knowledge Base in the Description Logic {ALC}},
  booktitle = {Proceedings of ICCCI'2009},
  editor    = {Nguyen, N.T. and Kowalczyk, R. and Chen, S.-M.},
  series    = {LNAI},
  volume    = {5796},
  publisher = {Springer},
  pages     = {437--448},
  year      = {2009}
}