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 sausio 20, 2026. https://www.journals.vu.lt/LMR/article/view/14876.