Girčys, A.P. ir Pliuškevičius, R. (2013) „Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai“, Lietuvos matematikos rinkinys, 54(A), p. 12–15. doi:10.15388/LMR.A.2013.05.