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