A. P. . Girčys ir R. . Pliuškevičius, „Išvedimų specializacija bendrojo žinojimo logikai“, LMR, t. 52, nr. proc. LMS, p. 249–252, gruodž. 2011, doi: 10.15388/LMR.2011.ml05.