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