Maffezioli P, Naibo A. Proof theory of epistemic logic of programs. LLP [Internet]. 2013 Sep. 12 [cited 2025 Dec. 19];23(3):301–328. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2013.026