@inproceedings(GoreNguyen07clima, 
  author      = {Rajeev Gor{\'e} and Linh Anh Nguyen}, 
  title       = {Analytic Cut-free Tableaux for Regular Modal Logics 
                 of Agent Beliefs}, 
  booktitle   = {Proceedings of CLIMA VIII, LNAI 5056}, 
  editor      = {F. Sadri and K. Satoh}, 
  publisher   = {Springer-Verlag}, 
  pages       = {268-287},
  year        = 2008
)