Maffezioli, P., & Naibo, A. (2013). Proof theory of epistemic logic of programs. Logic and Logical Philosophy, 23(3), 301–328. https://doi.org/10.12775/LLP.2013.026