Sakalauskaitė, J. (2010) „Dalinis pjūvio pašalinimas teiginių diskretinei laiko logikai“, Lietuvos matematikos rinkinys, 51(proc. LMS), p. 347–351. doi:10.15388/LMR.2010.63.