@article{GoreNguyen09,
  author    = {Rajeev Gor{\'e} and
               Linh Anh Nguyen},
  title     = {Clausal Tableaux for Multimodal Logics of Belief},
  journal   = {Fundamenta Informaticae},
  volume    = {94},
  number    = {1},
  year      = {2009},
  pages     = {21-40}
}