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