@inproceedings(nguyen02kb, 
  author    = {Linh Anh Nguyen},
  title     = {Analytic Tableau Systems for Propositional Bimodal Logics 
               of Knowledge and Belief}, 
  booktitle = {Proceedings of TABLEAUX 2002, LNAI 2381}, 
  editor    = {U. Egly and C.G. Fem{\"u}ller}, 
  publisher = {Springer-Verlag},
  pages     = {206-220}, 
  year      = 2002)