Girčys, A. P. ., & Pliuškevičius, R. . (2011). Išvedimų specializacija bendrojo žinojimo logikai. Lietuvos Matematikos Rinkinys, 52(proc. LMS), 249–252. https://doi.org/10.15388/LMR.2011.ml05