Proof theory of epistemic logic of programs | Publicación