Girčys Aurimas Paulius, ir Regimantas Pliuškevičius. 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.