@inproceedings{RensVarzinczakMeyeretal.2011,
  author    = {Gavin Rens and Ivan Varzinczak and Thomas Meyer and Alexander Ferrein},
  title     = {A Logic for Reasoning about Actions and Explicit Observations},
  booktitle = {AI 2010: Advances in Artificial Intelligence},
  pages     = {395 -- 404},
  doi       = {10.1007/978-3-642-17432-2_40},
  year      = {2011},
}