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