@article{Moeller2013,
  author    = {Bernhard M{\"o}ller},
  title     = {Modal knowledge and game semirings},
  journal   = {The Computer Journal},
  volume    = {56},
  number    = {1},
  pages     = {53 -- 69},
  doi       = {10.1093/comjnl/bxs140},
  year      = {2013},
}