Girčys, Aurimas Paulius, ir Regimantas Pliuškevičius. „Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai“. Lietuvos matematikos rinkinys, t. 54, nr. A, 2013 m.gruodžio, p. 12–15, https://doi.org/10.15388/LMR.A.2013.05.