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