@article{BaltagSadr,
  title = "The Algebra of Multi-Agent Dynamic Belief Revision",
  author = "A. Baltag and M. Sadrzadeh",
  year = "2006",
  journal = "Electronic Notes in Theoretical Computer Science",
}