MAFFEZIOLI, Paolo and NAIBO, Alberto. Proof theory of epistemic logic of programs. Logic and Logical Philosophy. Online. 12 September 2013. Vol. 23, no. 3, p. 301–328. [Accessed 5 July 2025]. DOI 10.12775/LLP.2013.026.