GIRČYS, A. P.; PLIUŠKEVIČIUS, R. Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai. Lietuvos matematikos rinkinys, v. 54, n. A, p. 12–15, 15 gruodž.2013.