Gorogiannis, Raimondi, Boureanu, 2017. A Novel Symbolic Approach to Verifying Epistemic Properties of Programs, in: . International Joint Conferences on Artificial Intelligence Organization.. https://doi.org/10.24963/ijcai.2017/30