@incollection{H11,
  title = "Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation",
  author = "Horn, Alexander",
  year = "2011",
  booktitle = "Proceedings of the 18th International Workshop on Logic, Language, Information and Computation",
  pages = "161--175",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6642",
}