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