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