Maffezioli, Paolo, and Alberto Naibo. “Proof Theory of Epistemic Logic of Programs”. Logic and Logical Philosophy, vol. 23, no. 3, Sept. 2013, pp. 301–328, doi:10.12775/LLP.2013.026.