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