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