Pliuškevičius, R. (2014) “Žymių metodas tiesinei laiko logikai”, Lietuvos matematikos rinkinys, 55(A), pp. 46–50. doi:10.15388/LMR.A.2014.09.