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