sekvencinis skaičiavimas bendrojo žinojimo logika ciklinės aksiomos
##submission.howToCite##
Girčys, A.P. ir Pliuškevičius, R. (2011) „Išvedimų specializacija bendrojo žinojimo logikai“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 249–252. doi:10.15388/LMR.2011.ml05.