Maffezioli, P.; Naibo, A. Proof Theory of Epistemic Logic of Programs. LLP 2013, 23, 301–328.