Andrikonis, J. ir Pliuškevičius, R. (2021) „Pjūvio eliminavimas žinių logikai su sąveika“, Lietuvos matematikos rinkinys, 47(spec.), p. 346–350. doi:10.15388/LMR.2007.24226.