GIRČYS, A. P.; PLIUŠKEVIČIUS, R. Išvedimų specializacija bendrojo žinojimo logikai. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 249–252, 15 gruodž.2011.