Girčys, Aurimas Paulius, ir Regimantas Pliuškevičius. „Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai“. Lietuvos matematikos rinkinys 54, no. A (gruodžio 15, 2013): 12–15. žiūrėta rugpjūčio 25, 2026. https://zurnalai.vu.lt/LMR/article/view/14876.