MAFFEZIOLI, Paolo; NAIBO, Alberto. Proof theory of epistemic logic of programs. Logic and Logical Philosophy, [S. l.], v. 23, n. 3, p. 301–328, 2013. DOI: 10.12775/LLP.2013.026. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2013.026. Acesso em: 4 jul. 2025.