J. . Sakalauskaitė, „Dalinis pjūvio pašalinimas teiginių diskretinei laiko logikai“, LMR, t. 51, nr. proc. LMS, p. 347–351, gruodž. 2010, doi: 10.15388/LMR.2010.63.