P. Maffezioli and A. Naibo, “Proof theory of epistemic logic of programs”, LLP, vol. 23, no. 3, pp. 301–328, Sep. 2013.