@techreport{RR-10-11,
  title = "A Cut-Free Sequent Calculus for Algebraic Dynamic Epistemic Logic",
  author = "Roy Dyckhoff and Mehrnoosh Sadrzadeh",
  year = "2010",
  institution = "OUCL",
  month = "June",
  number = "RR-10-11",
  pages = "35",
}