ANDRIKONIS, J.; PLIUŠKEVIČIUS, R. Pjūvio eliminavimas žinių logikai su sąveika. Lietuvos matematikos rinkinys, v. 47, n. spec., p. 346–350, 14 birž.2021.