A. P. Girčys and R. Pliuškevičius, “Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai”, LMR, vol. 54, no. A, pp. 12–15, Dec. 2013, doi: 10.15388/LMR.A.2013.05.